PR Types

.github/workflows/pr_and_cache_benchmarks.yml

@@ -1,6 +1,8 @@
 name: Run and Cache Benchmarks
 
-on: pull_request
+on:
+  pull_request:
+    types: [opened, reopened, synchronize]
 
 jobs:
   benchmark:

.github/workflows/pr_benchmarks.yml

@@ -1,4 +1,6 @@
-on: pull_request
+on:
+  pull_request:
+    types: [opened, reopened, synchronize]
 
 jobs:
   benchmark_pr_with_bencher:

.github/workflows/pr_target_benchmarks.yml

@@ -1,4 +1,6 @@
-on: pull_request_target
+on:
+  pull_request_target:
+    types: [opened, reopened, synchronize]
 
 jobs:
   fork_pr_requires_review:
@@ -25,7 +27,7 @@ jobs:
       - name: Track Benchmarks with Bencher
         run: |
           bencher run \
-          --if-branch '${{ github.head_ref }}' \
+          --if-branch '${{ github.event.number }}/merge' \
           --else-if-branch '${{ github.base_ref }}' \
           --else-if-branch main \
           --github-actions "${{ secrets.GITHUB_TOKEN }}" \

.github/workflows/pr_track_benchmarks.yml

@@ -54,7 +54,7 @@ jobs:
           script: |
             let fs = require('fs');
             let prEvent = JSON.parse(fs.readFileSync(process.env.PR_EVENT, {encoding: 'utf8'}));
-            core.exportVariable("PR_HEAD", prEvent.pull_request.head.ref);
+            core.exportVariable("PR_HEAD", `${prEvent.number}/merge`);
             core.exportVariable("PR_BASE", prEvent.pull_request.base.ref);
             core.exportVariable("PR_DEFAULT", prEvent.pull_request.base.repo.default_branch);
             core.exportVariable("PR_NUMBER", prEvent.number);