Skip to content

ci: run push builds on the default branch only - #2

Merged
trakhimenok merged 1 commit into
mainfrom
ci/dedupe-pr-builds
Aug 20, 2026
Merged

ci: run push builds on the default branch only#2
trakhimenok merged 1 commit into
mainfrom
ci/dedupe-pr-builds

Conversation

@trakhimenok

Copy link
Copy Markdown
Member

A PR branch fired both the push and the pull_request trigger, so every PR produced two identical runs. Restricting push: to the default branch leaves pull_request as the single PR signal and keeps the post-merge run on main.

Workflow config only. YAML validated with yaml.safe_load before commit.

🤖 Generated with Claude Code

https://claude.ai/code/session_01TXqd1buVpwVWjyGYESYh82

A PR branch fired both the push and the pull_request trigger, so every PR
produced two identical runs. Restricting push: to the default branch leaves
pull_request as the single PR signal and keeps the post-merge run on main.
@trakhimenok
trakhimenok merged commit 59f1dac into main Aug 20, 2026
3 checks passed
@trakhimenok
trakhimenok deleted the ci/dedupe-pr-builds branch August 20, 2026 20:55
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