Cancels jobs running if new commits are pushed

firedrakeproject · Dec 18, 2024 · e88fabb · e88fabb
1 parent 3eaecc5
commit e88fabb
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -11,6 +11,13 @@ on:
     # Scheduled build at 0330 UTC on Monday mornings to detect bitrot.
     - cron:  '30 3 * * 1'
 
+concurrency:
+  # Cancels jobs running if new commits are pushed
+  group: >
+    ${{ github.workflow }}-
+    ${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 jobs:
   build:
     name: "Build Gusto"