From 3355b8c1a63d16456172c5de8e714979f184bd13 Mon Sep 17 00:00:00 2001 From: Lucas Pimentel Date: Fri, 14 Aug 2026 18:26:28 -0400 Subject: [PATCH 1/2] Stop duplicate CI runs on PR branches `on: [push, pull_request]` fired both events for the same commit when a branch had an open PR, doubling every lint/unit/integration run. Restrict `push` to `main` so PR branches only trigger `pull_request`, and add a concurrency group to cancel superseded PR runs when new commits land. Merges to main are still verified. --- .github/workflows/build.yml | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 0d7b1275..381db7de 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -1,6 +1,13 @@ name: build -on: [push, pull_request] +on: # yamllint disable-line rule:truthy + pull_request: + push: + branches: [main] + +concurrency: + group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }} + cancel-in-progress: true jobs: lint: From fb0ceca7b812a8e0c21650e34f8ff67740339ccf Mon Sep 17 00:00:00 2001 From: Lucas Pimentel Date: Fri, 14 Aug 2026 18:29:21 -0400 Subject: [PATCH 2/2] Drop concurrency block The duplicate-run fix is handled entirely by restricting `push` to `main`; the concurrency block only cancelled superseded PR runs on rapid commits, which is optional. Keep the diff minimal and focused. --- .github/workflows/build.yml | 4 ---- 1 file changed, 4 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 381db7de..e515b1c8 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -5,10 +5,6 @@ on: # yamllint disable-line rule:truthy push: branches: [main] -concurrency: - group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }} - cancel-in-progress: true - jobs: lint: runs-on: ubuntu-latest