Add concurrency key to publish/preview workflows (#527)

TuringLang · Oct 2, 2024 · 5255f44 · 5255f44
1 parent 364d361
commit 5255f44
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/.github/workflows/preview.yml b/.github/workflows/preview.yml
@@ -7,6 +7,9 @@ on:
       - synchronize
       - closed
 
+concurrency:
+  group: docs
+
 jobs:
   build-and-preview:
     if: github.event.action == 'opened' || github.event.action == 'synchronize'

diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -7,6 +7,10 @@ on:
       - backport-v0.*
   workflow_dispatch: # manual trigger for testing
 
+concurrency:
+  group: docs
+  cancel-in-progress: true
+
 jobs:
   build-and-deploy:
     runs-on: ubuntu-latest