-
Notifications
You must be signed in to change notification settings - Fork 13.4k
Move dist-x86_64-linux
CI job to GitHub temporarily
#141388
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
base: master
Are you sure you want to change the base?
Conversation
To make it easier to migrate off the `rust-lang-ci/rust` repository.
@bors r+ rollup |
Probably don't want this in a rollup, might affect job timings? @bors rollup=never |
What timings do you have in mind? I think I haven't ever seen this job being in the top 10 changes in the post merge analysis. I think that's fine. Also I'd like to get this merge soon-ish 😅 Bumping this to move forward with the rust-lang-ci migration, because in the meantime, our CI is slower (due to moving off from codebuild and not allowing Docker cache reuse on PR CI builds). @bors p=5 rollup |
That is true |
If it's time-sensitive, I'd just bump it higher. @bors p=10 |
Move `dist-x86_64-linux` CI job to GitHub temporarily To make it easier to migrate off the `rust-lang-ci/rust` repository. r? `@marcoieni`
To make it easier to migrate off the
rust-lang-ci/rust
repository.r? @marcoieni