Merge pull request #177 from bernhardmgruber/build

bernhardmgruber · web-flow · commit 0fcd2cfcc098 · 2022-06-15T17:58:12.000+02:00
Cancel running CI jobs on force-push
diff --git a/.github/workflows/builds.yml b/.github/workflows/builds.yml
@@ -5,6 +5,11 @@ name: Build Exercises
 # Perform the builds on every push and pull request.
 on: [ push, pull_request ]
 
+# Cancel running jobs on force-push
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.run_id }}
+  cancel-in-progress: true
+
 # All the different build/test jobs.
 jobs:
 
diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
@@ -1,5 +1,8 @@
 name: Build LaTeX document
 on: [push,pull_request]
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.run_id }}
+  cancel-in-progress: true
 jobs:
   build_latex:
     runs-on: ubuntu-latest
