Skip to content

Run push CI only on main#1009

Merged
jage merged 1 commit into
mainfrom
ci-push-only-main
Jun 27, 2026
Merged

Run push CI only on main#1009
jage merged 1 commit into
mainfrom
ci-push-only-main

Conversation

@jage

@jage jage commented Jun 27, 2026

Copy link
Copy Markdown
Member

A commit on a branch with an open PR fired both the push and the pull_request event, running the full CI matrix twice. Restrict push to main so feature branches run once via pull_request; main still runs on push so the Fly deploy trigger is unaffected.

A commit on a branch with an open PR fired both the push and the
pull_request event, running the full CI matrix twice. Restrict push to
main so feature branches run once via pull_request; main still runs on
push so the Fly deploy trigger is unaffected.
@jage jage merged commit 9cc3be2 into main Jun 27, 2026
9 checks passed
@jage jage deleted the ci-push-only-main branch June 27, 2026 06:43
@dentarg

dentarg commented Jun 27, 2026

Copy link
Copy Markdown
Member

This require you to open a PR to have CI run if you push a branch? I'm not a fan of that.

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.

2 participants