rename CI concurrent group, cancel concurrent downstream (#375)

JuliaLinearAlgebra · Jun 13, 2023 · 29c38df · 29c38df
1 parent c19bbae
commit 29c38df
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,12 +1,15 @@
 name: CI
+
 concurrency:
-  group: build-${{ github.event.pull_request.number || github.ref }}
+  group: build-${{ github.event.pull_request.number || github.ref }}-${{ github.workflow }}
   cancel-in-progress: true
+
 on:
   push:
     branches:
       - master
   pull_request:
+
 jobs:
   pre_job:
     # continue-on-error: true # Uncomment once integration is finished

diff --git a/.github/workflows/downstream.yml b/.github/workflows/downstream.yml
@@ -1,4 +1,9 @@
 name: IntegrationTest
+
+concurrency:
+  group: build-${{ github.event.pull_request.number || github.ref }}-${{ github.workflow }}
+  cancel-in-progress: true
+
 on:
   push:
     branches: [master]