From 5a60c07fbfd980df8ebf6260b4e1e58c8107c9ba Mon Sep 17 00:00:00 2001 From: Christian Semmler Date: Mon, 23 Mar 2026 15:05:57 -0700 Subject: [PATCH] Only run CI on push to master, use pull_request for branches Avoids duplicate CI runs when a branch has an open PR. --- .github/workflows/ci.yml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index c85081dc..37fef707 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,9 +1,12 @@ name: CI -on: [push, pull_request] +on: + push: + branches: [master] + pull_request: concurrency: - group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.run_id }} + group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} cancel-in-progress: true jobs: