From e8697020252b82813c90b13268cbcdc59dc7a115 Mon Sep 17 00:00:00 2001
From: Ludovic Mermod <ludovic.mermod@epfl.ch>
Date: Wed, 2 Aug 2023 16:47:20 +0200
Subject: [PATCH] ci: stop running jobs when pushing

Co-authored-by: Alexandre Chau <dialexo@users.noreply.github.com>
---
 .github/workflows/docker-build.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/docker-build.yml b/.github/workflows/docker-build.yml
index 9c58426..3578c75 100644
--- 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