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]>

Author: dscho

.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

.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:

.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:

.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:

.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: