prevent concurrent github workflow runs

Open-EO · Aug 28, 2023 · 0f68ca1 · 0f68ca1
1 parent f64e5ac
commit 0f68ca1
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 0 deletions.
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -1,6 +1,7 @@
 
 name: Lint
 on: [push, pull_request]
+concurrency: ci-${{ github.ref }}
 jobs:
   build:
     runs-on: ubuntu-latest

diff --git a/.github/workflows/sphinx2ghpages.yml b/.github/workflows/sphinx2ghpages.yml
@@ -6,6 +6,8 @@ on:
   push:
     branches: [ master ]
 
+concurrency: ci-${{ github.ref }}
+
 jobs:
   build:
     runs-on: ubuntu-latest

diff --git a/.github/workflows/unittests.yml b/.github/workflows/unittests.yml
@@ -1,6 +1,7 @@
 
 name: Unit tests
 on: [push, pull_request]
+concurrency: ci-${{ github.ref }}
 jobs:
   build:
     strategy: