Skip to content

rustup #2551

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Merged
merged 2 commits into from
Sep 19, 2022
Merged

rustup #2551

merged 2 commits into from
Sep 19, 2022

Conversation

RalfJung
Copy link
Member

@RalfJung
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented Sep 19, 2022

📌 Commit f0c6f0d has been approved by RalfJung

It is now in the queue for this repository.

bors added a commit that referenced this pull request Sep 19, 2022
@bors
Copy link
Contributor

bors commented Sep 19, 2022

⌛ Testing commit f0c6f0d with merge 16528ef...

@RalfJung
Copy link
Member Author

@bors retry r+

@bors
Copy link
Contributor

bors commented Sep 19, 2022

📌 Commit 855a2ad has been approved by RalfJung

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Sep 19, 2022

⌛ Testing commit 855a2ad with merge 7d0f203...

bors added a commit that referenced this pull request Sep 19, 2022
@bors
Copy link
Contributor

bors commented Sep 19, 2022

💔 Test failed - checks-actions

@RalfJung
Copy link
Member Author

@bors retry

@bors
Copy link
Contributor

bors commented Sep 19, 2022

⌛ Testing commit 855a2ad with merge 30b751e...

bors added a commit that referenced this pull request Sep 19, 2022
@bors
Copy link
Contributor

bors commented Sep 19, 2022

💔 Test failed - checks-actions

@RalfJung
Copy link
Member Author

Wtf is up with macOS... @bors retry

@bors
Copy link
Contributor

bors commented Sep 19, 2022

⌛ Testing commit 855a2ad with merge 4b9463c...

@bors
Copy link
Contributor

bors commented Sep 19, 2022

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

@bors bors merged commit 4b9463c into rust-lang:master Sep 19, 2022
@RalfJung RalfJung deleted the rustup branch September 20, 2022 07:17
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants