From 168494bffcd08e8de80a3a644f613074b35942b2 Mon Sep 17 00:00:00 2001 From: Stephen Waits Date: Mon, 19 Oct 2026 13:26:23 -0600 Subject: [PATCH] ci: a newer push cancels the check still running for an older one Two pushes a few minutes apart ran two checks; the older, already superseded, still emailed its result. Now a newer push to the same branch cancels the check still running for the older one. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01T3gXMVt7XJPi6ens1or9Dj --- .github/workflows/check.yml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml index 0f5b5f3..d8fdb2a 100644 --- a/.github/workflows/check.yml +++ b/.github/workflows/check.yml @@ -4,6 +4,11 @@ name: check on: push: pull_request: +# A newer push to the same branch makes an older check pointless: it is +# cancelled, so only the newest reports. +concurrency: + group: check-${{ github.ref }} + cancel-in-progress: true jobs: check: runs-on: ubuntu-24.04