[skip ci] Split push and PR build workflows so they don't cancel each other

2021-08-15 11:07:27 -04:00
parent 4c8dfd0c0c
commit bc41040fd3
3 changed files with 51 additions and 13 deletions
@@ -0,0 +1,15 @@
+name: Cancel old pull request workflows
+
+on:
+  workflow_run:
+    workflows: ["PR build check"]
+    types:
+      - requested
+
+jobs:
+  cancel:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: styfle/cancel-workflow-action@0.8.0
+      with:
+        workflow_id: ${{ github.event.workflow.id }}