[Backport release-24.11] workflows/{pr,push}: init#417826
Merged
wolfgangwalther merged 3 commits intorelease-24.11from Jun 18, 2025
Merged
[Backport release-24.11] workflows/{pr,push}: init#417826wolfgangwalther merged 3 commits intorelease-24.11from
wolfgangwalther merged 3 commits intorelease-24.11from
Conversation
Those two workflows bundle all the main jobs in two event-specific wrapper workflows. This enables us to do two things later on: - Synchronize the merge commits between most of the jobs run in a PR. - Create a single "required" job to be targeted by GitHub's "required status checks to pass" feature. (cherry picked from commit 959eed1)
We previously moved this out of the main eval workflow to avoid running it on push and/or undrafting the PR. The latter has been removed in the meantime and the former can be checked with a simple condition. Thus we move it back in, to make it part of the 4 main workflows, which will be required before merge eventually. (cherry picked from commit 008527d)
The overall idea is to use names short enough to fit into the status checks list without shortening. This change mostly happened in the commits before, here we just follow the same pattern for the remaining workflows. (cherry picked from commit c08b86e)
3 tasks
nix-owners
bot
requested review from
LeSuisse,
Mic92,
azuwis,
infinisil,
mweinelt,
philiptaron,
risicle,
wolfgangwalther and
zowoq
github-actions
bot
added
10.rebuild-darwin: 0
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Bot-based backport to
release-24.11, triggered by a label in #415006.