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

Author: rschristian

Diff for: .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 for: .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