Update performance pipeline to be triggered by pull request merges rather than master commits

dondonz · dondonz · commit 57487ae7f504 · 2025-03-29T08:22:19.000+11:00
diff --git a/.github/workflows/commit_performance_result.yml b/.github/workflows/commit_performance_result.yml
@@ -33,6 +33,7 @@ jobs:
             echo "Performance results already present"
             exit 0
           fi
+          git pull
           git commit -m "Add performance results for commit ${{ github.event.inputs.sha }}"
           git push
           
diff --git a/.github/workflows/publish_commit.yml b/.github/workflows/publish_commit.yml
@@ -1,8 +1,12 @@
 name: Publish Commit SHA for performance testing
 on:
-  push:
+  pull_request:
+    types:
+      - closed
     branches:
       - master
+    paths-ignore:
+      - 'performance-results/**'
 permissions:
   id-token: write # This is required for requesting the JWT
   contents: read  # This is required for actions/checkout
