Skip to content

CI: remove push trigger to fix check name mismatch#6

Merged
omereliy merged 1 commit into
masterfrom
ci-fix
Mar 17, 2026
Merged

CI: remove push trigger to fix check name mismatch#6
omereliy merged 1 commit into
masterfrom
ci-fix

Conversation

@omereliy

Copy link
Copy Markdown
Owner

GitHub appends "(pull_request)" suffix when both push and pull_request triggers exist, causing required status checks to never match.

GitHub appends "(pull_request)" suffix when both push and pull_request
triggers exist, causing required status checks to never match.
@omereliy omereliy merged commit 7aa56cc into master Mar 17, 2026
3 checks passed
@omereliy omereliy deleted the ci-fix branch March 17, 2026 10:46
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