From df3ef59d7716ca2c7951006e7a283f405b6c61c8 Mon Sep 17 00:00:00 2001
From: Eric Joanis <Eric.Joanis@cnrc-nrc.gc.ca>
Date: Fri, 22 Sep 2023 08:51:12 -0400
Subject: [PATCH] ci: abort deploy docs when a new commit is pushed to main

docs.yaml pushes to branch gh-pages. When two or more PRs are merged in quick
succession, we only want the docs from the last one to get deployed.

Use the concurrency mechanism to cancel the earlier run in progress.
---
 .github/workflows/docs.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 9678ec58..175f235b 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -3,6 +3,9 @@ on:
   push:
     branches:
       - main
+concurrency:
+  group: ${{ github.workflow }}
+  cancel-in-progress: true
 jobs:
  docs:
     # Create latest docs