ci: stop running jobs when pushing

Co-authored-by: Alexandre Chau <dialexo@users.noreply.github.com>
clicepfl · Aug 2, 2023 · e869702 · e869702
1 parent 3d3bee3
commit e869702
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/docker-build.yml b/.github/workflows/docker-build.yml
@@ -13,6 +13,11 @@ on:
   pull_request:
     branches: ["main"]
 
+# abort running jobs if newer version is detected on same branch
+concurrency:
+  group: ${{ github.head_ref || github.ref }}
+  cancel-in-progress: true
+
 env:
   # Use docker.io for Docker Hub if empty
   REGISTRY: ghcr.io