Merge pull request #1905 from dscho/prevent-concurrent-deployments

Prevent concurrent deployments

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: