From be814dcb4db9a02053a245eebb1af69b21f6d69c Mon Sep 17 00:00:00 2001
From: Allison Thackston <allison@allisonthackston.com>
Date: Mon, 3 Oct 2022 12:48:10 -0700
Subject: [PATCH] Add concurrency group so doc publish actions don't overwrite
 each other (#410)

---
 .github/workflows/publish_docs.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/publish_docs.yml b/.github/workflows/publish_docs.yml
index 16e6ca19..1f7e0766 100644
--- 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