Skip to content

Run CI once per pull request, not twice#124

Merged
magicsunday merged 1 commit into
mainfrom
ci-single-run
Jul 21, 2026
Merged

Run CI once per pull request, not twice#124
magicsunday merged 1 commit into
mainfrom
ci-single-run

Conversation

@magicsunday

Copy link
Copy Markdown
Owner

The ci.yml workflow triggered on both an unfiltered push: and pull_request:. For a branch with an open pull request both fire, so the whole matrix ran twice for the same commit — including the contexts required to merge.

The push trigger is now scoped to [main, master], matching sibling workflows in this repository that already do so. A pull request still produces its contexts through the unchanged pull_request trigger, so the required checks resolve exactly as before; a direct push to main and the post-merge state stay covered.

Part of a family-wide alignment: the same unfiltered trigger was present in 13 repositories.

ci.yml triggered on both an unfiltered push and pull_request, so every
push to a branch that also has an open pull request ran the whole matrix
twice for the same commit — including the contexts that are required to
merge.

The push trigger is now scoped to the default branches, matching the
sibling workflows in this repository that already do so. A pull request
still produces its contexts through the unchanged pull_request trigger,
so the required checks resolve exactly as before; a direct push to main
and the post-merge state stay covered.
@gemini-code-assist

Copy link
Copy Markdown

Note

Gemini is unable to generate a review for this pull request due to the file types involved not being currently supported.

@magicsunday
magicsunday merged commit 6efe07f into main Jul 21, 2026
15 checks passed
@magicsunday
magicsunday deleted the ci-single-run branch July 21, 2026 10:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant