Skip to content

restrict push trigger to main - #8

Merged
nakulj merged 1 commit into
mainfrom
better-ci
Oct 9, 2026
Merged

nakulj merged 1 commit into
mainfrom
better-ci

Conversation

@nakulj

@nakulj nakulj commented Oct 9, 2026 •

Copy link
Copy Markdown

Background

CI runs on both push and pull_request, so every push to a branch with an open PR runs the whole matrix twice on the same code.

Description

The push trigger now runs only for main. Pull requests still run through pull_request, and workflow_dispatch is unchanged.

Verification

CI on this PR runs once per Python version, from pull_request only.

🤖 Generated with Claude Code

@nakulj
nakulj requested a review from JarredAllen October 9, 2026 19:24
@nakulj
nakulj merged commit 054f38b into main Oct 9, 2026
2 checks passed
@nakulj
nakulj deleted the better-ci branch October 9, 2026 20:05
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