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

CI: update rustup before installing the toolchain on windows #7239

Merged
merged 1 commit into from
May 18, 2021

Conversation

flip1995
Copy link
Member

Ok, fine windows, if this is what you want, take it...

r? @ghost

changelog: none

@flip1995
Copy link
Member Author

@bors try

bors added a commit that referenced this pull request May 18, 2021
CI: update rustup before installing the toolchain on windows

Ok, fine windows, if this is what you want, take it...

r? `@ghost`

changelog: none
@bors
Copy link
Contributor

bors commented May 18, 2021

⌛ Trying commit 716d03f with merge 00468b1...

@flip1995
Copy link
Member Author

@bors try

Now i686 is spuriously failing...

bors added a commit that referenced this pull request May 18, 2021
CI: update rustup before installing the toolchain on windows

Ok, fine windows, if this is what you want, take it...

r? `@ghost`

changelog: none
@bors
Copy link
Contributor

bors commented May 18, 2021

⌛ Trying commit 716d03f with merge dd4d362...

@flip1995 flip1995 added the S-waiting-on-bors Status: The marked PR was approved and is only waiting bors label May 18, 2021
@bors
Copy link
Contributor

bors commented May 18, 2021

💔 Test failed - checks-action_test

@flip1995
Copy link
Member Author

Last @bors try , before waiting until the apt mirrors get updated.

@bors
Copy link
Contributor

bors commented May 18, 2021

⌛ Trying commit 716d03f with merge 9be3819...

bors added a commit that referenced this pull request May 18, 2021
CI: update rustup before installing the toolchain on windows

Ok, fine windows, if this is what you want, take it...

r? `@ghost`

changelog: none
@flip1995
Copy link
Member Author

@bors r+ rollup

@bors
Copy link
Contributor

bors commented May 18, 2021

📌 Commit 716d03f has been approved by flip1995

@bors
Copy link
Contributor

bors commented May 18, 2021

⌛ Testing commit 716d03f with merge 1c00f6e...

bors added a commit that referenced this pull request May 18, 2021
CI: update rustup before installing the toolchain on windows

Ok, fine windows, if this is what you want, take it...

r? `@ghost`

changelog: none
@flip1995
Copy link
Member Author

@bors retry (yeet)

bors added a commit that referenced this pull request May 18, 2021
Rollup of 3 pull requests

Successful merges:

 - #7235 (Fix another manual_unwrap_or deref FP)
 - #7237 (Add the command to add upstream remote)
 - #7239 (CI: update rustup before installing the toolchain on windows)

Failed merges:

r? `@ghost`
`@rustbot` modify labels: rollup
bors added a commit that referenced this pull request May 18, 2021
Rollup of 3 pull requests

Successful merges:

 - #7235 (Fix another manual_unwrap_or deref FP)
 - #7237 (Add the command to add upstream remote)
 - #7239 (CI: update rustup before installing the toolchain on windows)

Failed merges:

r? `@ghost`
`@rustbot` modify labels: rollup

changelog: rollup
@bors bors merged commit 70c552b into rust-lang:master May 18, 2021
@flip1995 flip1995 deleted the ci-windows-rustup branch May 18, 2021 08:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-bors Status: The marked PR was approved and is only waiting bors
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants