fix docs publishing concurrency issues

Archmonger · Archmonger · commit 49e6c95d3e78 · 2024-09-22T23:13:52.000-07:00
diff --git a/.github/workflows/publish-develop-docs.yml b/.github/workflows/publish-develop-docs.yml
@@ -21,3 +21,5 @@ jobs:
                   git config user.email github-actions@github.com
                   cd docs
                   mike deploy --push develop
+        concurrency:
+            group: publish-docs
diff --git a/.github/workflows/publish-release-docs.yml b/.github/workflows/publish-release-docs.yml
@@ -21,3 +21,5 @@ jobs:
                   git config user.email github-actions@github.com
                   cd docs
                   mike deploy --push --update-aliases ${{ github.event.release.name }} latest
+        concurrency:
+            group: publish-docs
