Minor tweaks to fix concurent job execution (#434)

rems-project · Jul 25, 2024 · 74f5b37 · 74f5b37
1 parent 6edf463
commit 74f5b37
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -12,7 +12,7 @@ env:
 
 # cancel in-progress job when a new push is performed
 concurrency:
-  group: ${{ github.workflow }}-${{ github.ref }}
+  group: ci-${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: true
 
 jobs:

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
@@ -1,4 +1,4 @@
-name: CI
+name: docker
 
 on:
   push:
@@ -10,7 +10,7 @@ env:
 
 # cancel in-progress job when a new push is performed
 concurrency:
-  group: ${{ github.workflow }}-${{ github.ref }}
+  group: docker-${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: true
 
 jobs: