Add concurrency group so doc publish actions don't overwrite each oth…

…er (#410)
athackst · Oct 3, 2022 · be814dc · be814dc
1 parent df8240d
commit be814dc
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/publish_docs.yml b/.github/workflows/publish_docs.yml
@@ -7,6 +7,10 @@ on:
     types: [published]
   workflow_dispatch:
 
+# Add a concurrency group so that doc publish doesn't interfere with each other.
+concurrency: 
+  group: publish-docs
+
 jobs:
   docs:
     runs-on: ubuntu-latest