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

rustup #2453

Merged
merged 2 commits into from
Aug 1, 2022
Merged

rustup #2453

merged 2 commits into from
Aug 1, 2022

Conversation

RalfJung
Copy link
Member

@RalfJung RalfJung commented Aug 1, 2022

Should work again, now that rust-lang/rust#99984 landed.

@RalfJung
Copy link
Member Author

RalfJung commented Aug 1, 2022

@bors r+

@bors
Copy link
Contributor

bors commented Aug 1, 2022

📌 Commit c4747fb has been approved by RalfJung

It is now in the queue for this repository.

bors added a commit that referenced this pull request Aug 1, 2022
rustup

Should work again, now that rust-lang/rust#99984 landed.
@bors
Copy link
Contributor

bors commented Aug 1, 2022

⌛ Testing commit c4747fb with merge c593945...

@RalfJung
Copy link
Member Author

RalfJung commented Aug 1, 2022

@bors retry r+

@bors
Copy link
Contributor

bors commented Aug 1, 2022

📌 Commit 9ffea91 has been approved by RalfJung

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Aug 1, 2022

⌛ Testing commit 9ffea91 with merge 7865255...

@bors
Copy link
Contributor

bors commented Aug 1, 2022

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing 7865255 to master...

@bors bors merged commit 7865255 into rust-lang:master Aug 1, 2022
@RalfJung RalfJung deleted the rustup branch August 1, 2022 23:03
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.

2 participants