ci: Exclude devtools.js from triggering benchmarks (#4686)

preactjs · Feb 18, 2025 · 3dd0c62 · 3dd0c62
1 parent e62871c
commit 3dd0c62
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -23,8 +23,11 @@ jobs:
         id: filter
         with:
           # Should be kept in sync with the filter in the PR Reporter workflow
+          predicate-quantifier: 'every'
           filters: |
-            jsChanged: '**/src/**/*.js'
+            jsChanged:
+              - '**/src/**/*.js'
+              - '!devtools/src/devtools.js'
 
   compressed_size:
     name: Compressed Size

diff --git a/.github/workflows/pr-reporter.yml b/.github/workflows/pr-reporter.yml
@@ -28,8 +28,11 @@ jobs:
           base: ${{ github.event.workflow_run.pull_requests[0].base.sha }}
           ref: ${{ github.event.workflow_run.pull_requests[0].head.sha }}
           # Should be kept in sync with the filter in the CI workflow
+          predicate-quantifier: 'every'
           filters: |
-            jsChanged: '**/src/**/*.js'
+            jsChanged:
+              - '**/src/**/*.js'
+              - '!devtools/src/devtools.js'
 
   report_running:
     name: Report benchmarks are in-progress