From cdb54e4dbb6d4db3507f7539cc3947d666a6153e Mon Sep 17 00:00:00 2001
From: Mike Hardy <github@mikehardy.net>
Date: Sun, 12 May 2024 21:13:52 -0500
Subject: [PATCH] ci: implement concurrency protection on workflows

otherwise rendering and publishing could trip over itself as multiple
merges happen simultaneously
---
 .github/workflows/publish.yml     | 4 ++++
 .github/workflows/render_docs.yml | 4 ++++
 2 files changed, 8 insertions(+)

diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
index 8630ba3..ae608f1 100644
--- a/.github/workflows/publish.yml
+++ b/.github/workflows/publish.yml
@@ -6,6 +6,10 @@ on:
     branches:
       - "main"
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   main:
     name: "Publish docs.ankidroid.org"
diff --git a/.github/workflows/render_docs.yml b/.github/workflows/render_docs.yml
index 6f49feb..e963788 100644
--- a/.github/workflows/render_docs.yml
+++ b/.github/workflows/render_docs.yml
@@ -5,6 +5,10 @@ on:
   pull_request:
   push:
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   render_docs:
     name: 'Render Docs'