-
Notifications
You must be signed in to change notification settings - Fork 13.2k
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
[beta] backport #109033
[beta] backport #109033
Conversation
Don't require a region to have an `external_name` in order to be promoted.
Smarter and simpler!
|
@bors r+ rollup=never |
⌛ Testing commit 7bb904b with merge 076bd22e978ddb60b31ff21fda67b1cb896a6715... |
This doesn't have the CI fix, so dist-various-2 attempts to download 21,346 Ubuntu packages. But it got stuck, maybe the Ubuntu mirror blocked it. Edit: bors says this timed out after 4 hours, but the actual CI job appears to have a timeout of 10 hours. So it would probably still be a good idea to cancel that job, so other things can be built. Edit 2: The job had actually finished downloading all 88.8 GB of packages, but then failed in the extraction phase. The logs look like the job actually did this multiple times. Anyway, the job has finally failed now. |
💥 Test timed out |
@bors r+ rollup=never |
☀️ Test successful - checks-actions |
This PR backports:
pred_known_to_hold_modulo_regions
with fulfillment if ambiguous #108754: Retrypred_known_to_hold_modulo_regions
with fulfillment if ambiguousIt also bumps to the released stable.
r? @Mark-Simulacrum