ci: implement concurrency protection on workflows

otherwise rendering and publishing could trip over itself as multiple merges happen simultaneously
ankidroid · May 13, 2024 · cdb54e4 · cdb54e4
1 parent 77500cc
commit cdb54e4
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -6,6 +6,10 @@ on:
     branches:
       - "main"
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   main:
     name: "Publish docs.ankidroid.org"

diff --git a/.github/workflows/render_docs.yml b/.github/workflows/render_docs.yml
@@ -5,6 +5,10 @@ on:
   pull_request:
   push:
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   render_docs:
     name: 'Render Docs'