ci: set concurrency group for workflows

It is now to costly to run the full CI, so we need
to limit the number of concurrent runs to avoid
blocking the queue.

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d62493186b2357602e9c57b3f761f9ce0ba8f0b7..5bbe38956fb0f38f044c6803f3d01ec09e784d17 100644 (file)
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -10,6 +10,9 @@ on:
   pull_request:
     branches:
       - '**'
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
 jobs:
   build:
     runs-on: ubuntu-latest

diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
index b729f9324cf84bc977cfc650f8b0c34ab226e841..7f93e21ca5369ebb2b8318582d6c267c6c838d53 100644 (file)
--- a/.github/workflows/publish.yml
+++ b/.github/workflows/publish.yml
@@ -5,6 +5,9 @@ on:
     tags:
       - 'v*' # Push events to matching v*, i.e. v1.0, v20.15.10
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+
 jobs:
   release:
     # Use Publish environment for deployment protection