ci/cd: Add deploy + lint to the same concurrency group since they pus…

…h to the repo
ROAR-QUTRC · Dec 2, 2024 · 8206ea0 · 8206ea0
1 parent da5fab2
commit 8206ea0
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 7 deletions.
diff --git a/.github/workflows/deploy-docs.yaml b/.github/workflows/deploy-docs.yaml
@@ -15,13 +15,16 @@ on:
       - "flake.lock"
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:
+# only run one job at a time
+# needed for the intersphinx update
+concurrency:
+  group: "docs"
+  cancel-in-progress: true
 jobs:
   deploy-docs:
-    # only run one job at a time
+    # jobs which push to the repo all need to be in this concurrency group
     concurrency:
-      group: "docs"
-      cancel-in-progress: true
-    # needed for the intersphinx update
+      group: "pushers"
     permissions:
       contents: write
     runs-on: ubuntu-latest

diff --git a/.github/workflows/lint.yaml b/.github/workflows/lint.yaml
@@ -5,12 +5,15 @@ on:
   push:
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:
+# only run one job at a time
+concurrency:
+  group: "format"
+  cancel-in-progress: true
 jobs:
   run-format:
-    # only run one job at a time
+    # jobs which push to the repo all need to be in this concurrency group
     concurrency:
-      group: "format"
-      cancel-in-progress: true
+      group: "pushers"
     # needed to push changes if needed
     permissions:
       contents: write