From 049873fff75e2aa369c98df3bdbfe4cdc6c185f8 Mon Sep 17 00:00:00 2001
From: Daniel McCarney <daniel@binaryparadox.net>
Date: Wed, 6 Nov 2024 09:09:14 -0500
Subject: [PATCH] ci: cancel in-progress GH runs for same PR || ref

If you're pushing new work it's generally not useful to have CI churning
on the old work. Cancel it and get cooking on the new stuff ASAP.

See github docs for more info:

https://docs.github.com/en/actions/writing-workflows/workflow-syntax-for-github-actions#example-concurrency-groups
---
 .github/workflows/ci.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 231e075..b55890a 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -10,6 +10,10 @@ on:
   schedule:
     - cron: '0 21 * * *'
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 jobs:
   build:
     name: Build + test