Skip to content

ci: fix push trigger branch (main → master) - #25

Merged
rz1989s merged 1 commit into
masterfrom
fix/ci-push-trigger-master
Sep 26, 2026
Merged

rz1989s merged 1 commit into
masterfrom
fix/ci-push-trigger-master

Conversation

@rz1989s

@rz1989s rz1989s commented Sep 26, 2026

Copy link
Copy Markdown
Member

Default branch is master; the push trigger targeted main, so CI never ran on pushes to the default branch. Aligns the trigger. Merging this PR is itself the first push-trigger proof.

The workflow's push trigger fires on 'main', but the repo default
branch is 'master' — CI has never run on any push to master. Align
the trigger with the default branch.
@rz1989s
rz1989s merged commit 4e949ea into master Sep 26, 2026
2 checks passed
@rz1989s
rz1989s deleted the fix/ci-push-trigger-master branch September 26, 2026 02:53
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