Fix concurrency groups for github actions

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index 6f88614ab3cd93eda11c4e4edabb07524285c046..5f0f0f0786138ac2ae169affd5f31288129f3469 100644 (file)
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -3,7 +3,7 @@ on:
   - push
   - pull_request
 concurrency:
-  group: ${{ github.workflow }}-{{ github.head_ref || github.ref }}
+  group: ${{ github.workflow }}-${{ github.head_ref || github.ref }}
   cancel-in-progress: true
 jobs:
   test:

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index 5b6668a840d95a261f8d171735ebf6c377ee736d..11a4c322ff65bff1434e8ef509eb3a282ffc626e 100644 (file)
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -3,7 +3,7 @@ on:
   - push
   - pull_request
 concurrency:
-  group: ${{ github.workflow }}-{{ github.head_ref || github.ref }}
+  group: ${{ github.workflow }}-${{ github.head_ref || github.ref }}
   cancel-in-progress: true
 env:
   os: ubuntu-20.04

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
index c1fa68072d2a39beefd6474c93557b6d7855c43e..79811c61242361c9517a7d9ed307b46ab8f9ddee 100644 (file)
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -3,7 +3,7 @@ on:
   - push
   - pull_request
 concurrency:
-  group: ${{ github.workflow }}-{{ github.head_ref || github.ref }}
+  group: ${{ github.workflow }}-${{ github.head_ref || github.ref }}
   cancel-in-progress: true
 jobs:
   test: