delete on cancel

HigherOrderCO · Mar 25, 2024 · 5c008da · 5c008da
1 parent 2b76f20
commit 5c008da
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 1 deletion.
diff --git a/.github/workflows/bench.yml b/.github/workflows/bench.yml
@@ -76,6 +76,6 @@ jobs:
           fi
       - name: delete on cancel
         if: ${{ cancelled() }}
-        run: gh api "repos/higherorderco/hvm-core/actions/runs/${{ github.run_id }}" -X DELETE
+        run: gh workflow run delete-cancelled.yml --ref ${{ github.ref }} -f run_id=${{ github.run_id }}
         env:
           GH_TOKEN: ${{ secrets.PAT }}
diff --git a/.github/workflows/delete-canceled.yml b/.github/workflows/delete-canceled.yml
@@ -0,0 +1,15 @@
+name: Bench
+
+on:
+  workflow_dispatch:
+    inputs:
+      run_id:
+        type: string
+
+jobs:
+  delete:
+    runs-on: ubuntu-latest
+    steps:
+      - run: gh api "repos/higherorderco/hvm-core/actions/runs/${{ inputs.run_id }}" -X DELETE
+        env:
+          GH_TOKEN: ${{ secrets.PAT }}