diff --git a/.github/workflows/bench.yml b/.github/workflows/bench.yml index 2e297941..09afaa56 100644 --- 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 }}