Prevent concurrent deployments

GitHub Pages' sites are singletons and therefore we should use the recommended pattern to prevent multiple deployments to run at the same time; Instead, we want to queue them all up. Signed-off-by: Johannes Schindelin <[email protected]>
dscho · Oct 11, 2024 · b3abe00 · b3abe00
1 parent a29d864
commit b3abe00
Show file tree

Hide file tree

Showing 5 changed files with 15 additions and 0 deletions.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -8,6 +8,9 @@ on:
 
 jobs:
   deploy:
+    concurrency:
+      group: "pages"
+      cancel-in-progress: false
     runs-on: ubuntu-latest
     permissions:
       pages: write # to deploy to GitHub Pages

diff --git a/.github/workflows/update-book.yml b/.github/workflows/update-book.yml
@@ -104,6 +104,9 @@ jobs:
           name: bundle-${{ matrix.language.lang }}
           path: ${{ matrix.language.lang }}.bundle
   push-updates:
+    concurrency:
+      group: "pages"
+      cancel-in-progress: false
     needs: [check-for-updates, update-book]
     if: needs.check-for-updates.outputs.matrix != '[""]'
     permissions:

diff --git a/.github/workflows/update-download-data.yml b/.github/workflows/update-download-data.yml
@@ -8,6 +8,9 @@ on:
 
 jobs:
   update-download-data:
+    concurrency:
+      group: "pages"
+      cancel-in-progress: false
     if: github.event.repository.fork == false || github.event_name == 'workflow_dispatch'
     runs-on: ubuntu-latest
     permissions:

diff --git a/.github/workflows/update-git-version-and-manual-pages.yml b/.github/workflows/update-git-version-and-manual-pages.yml
@@ -13,6 +13,9 @@ on:
 
 jobs:
   update-git-version-and-manual-pages:
+    concurrency:
+      group: "pages"
+      cancel-in-progress: false
     if: github.event.repository.fork == false || github.event_name == 'workflow_dispatch'
     runs-on: ubuntu-latest
     permissions:

diff --git a/.github/workflows/update-translated-manual-pages.yml b/.github/workflows/update-translated-manual-pages.yml
@@ -13,6 +13,9 @@ on:
 
 jobs:
   check-for-updates:
+    concurrency:
+      group: "pages"
+      cancel-in-progress: false
     if: github.event.repository.fork == false || github.event_name == 'workflow_dispatch'
     runs-on: ubuntu-latest
     steps: