Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Safer releases #48

Merged
merged 5 commits into from
Apr 19, 2024
Merged

Safer releases #48

merged 5 commits into from
Apr 19, 2024

Conversation

infinisil
Copy link
Member

This makes it so that a release only happens if CI succeeds

This prevents releasing if a merge commit doesn't pass CI.
This can happen as such:
- Two PRs get opened, CI runs successfully against the current base branch for both
- Both get merged, both of them combined would fail CI though
By default the target_commitish would be the _latest_ commit on the default branch,
which could change underneath us
No need to have this many steps
@infinisil infinisil requested a review from a team as a code owner April 17, 2024 23:39
@infinisil infinisil mentioned this pull request Apr 18, 2024
I didn't like how it would print for all PRs unnecessarily

Furthermore it's cleaner if we trigger it based on when a release is published,
instead of depending the build job
@infinisil infinisil merged commit 2890407 into main Apr 19, 2024
2 checks passed
@infinisil infinisil deleted the safer-releases branch April 19, 2024 05:57
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.

None yet

2 participants