Skip to content

Restrict push trigger to master to avoid duplicate CI runs#227

Merged
pamil merged 1 commit into
masterfrom
ci/avoid-duplicate-workflow-runs
Jun 12, 2026
Merged

Restrict push trigger to master to avoid duplicate CI runs#227
pamil merged 1 commit into
masterfrom
ci/avoid-duplicate-workflow-runs

Conversation

@pamil

@pamil pamil commented Jun 12, 2026

Copy link
Copy Markdown
Member

Summary

  • Limit the push workflow trigger to the master branch
  • Branch pushes with an open PR were triggering both push and pull_request workflows, wasting CI minutes
  • Now branch pushes only trigger via pull_request; push only fires on merges to master

🤖 Generated with Claude Code

Previously every branch push triggered both the push and pull_request
workflows when a PR was open. Limiting push to master means branch
pushes only trigger via pull_request.

Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com>
@pamil pamil merged commit d746aed into master Jun 12, 2026
5 checks passed
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