Skip to content

Conversation

bjorn
Copy link
Member

@bjorn bjorn commented Oct 15, 2025

Most other branches are only created to open a pull request, and then we only want the pull request related builds to trigger.

Most other branches are only created to open a pull request, and then we
only want the pull request related builds to trigger.
@bjorn bjorn merged commit 34c4992 into master Oct 15, 2025
8 of 10 checks passed
@bjorn bjorn deleted the ci-push-master branch October 15, 2025 14:27
@bjorn
Copy link
Member Author

bjorn commented Oct 15, 2025

Oh boy, since this didn't trigger the push event, it apparently also didn't report the error in my workflow file... (using both branches and branches-ignore is not allowed)

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