add delete on cancel

HigherOrderCO · Mar 25, 2024 · 166e434 · 166e434
1 parent 3c9476a
commit 166e434
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/bench.yml b/.github/workflows/bench.yml
@@ -11,6 +11,7 @@ jobs:
   bench:
     runs-on: ubuntu-latest
     permissions:
+      actions: write
       pull-requests: write
     timeout-minutes: 10
     steps:
@@ -38,3 +39,8 @@ jobs:
         run: gh pr comment ${{ github.event.number }} -F comment
         env:
           GH_TOKEN: ${{ github.token }}
+      - name: delete on cancel
+        if: ${{ cancelled() }}
+        run: gh api "repos/higherorderco/hmv-core/actions/runs/${{ github.run_id }}" -X DELETE
+        env:
+          GH_TOKEN: ${{ github.token }}