Skip to content

Conversation

@RalfJung
Copy link
Member

I cannot reproduce the nightly CI failure so let's see what happens...

@RalfJung
Copy link
Member Author

Hm, seems like this only happens on a Windows host... no idea how that is possible, or why this started just now...

@RalfJung
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented Dec 15, 2021

📌 Commit 44cad75 has been approved by RalfJung

@bors
Copy link
Contributor

bors commented Dec 15, 2021

⌛ Testing commit 44cad75 with merge 65cbcb0...

@bors
Copy link
Contributor

bors commented Dec 15, 2021

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

@bors bors merged commit 65cbcb0 into rust-lang:master Dec 15, 2021
@bors bors mentioned this pull request Dec 15, 2021
@RalfJung RalfJung deleted the rustup branch December 15, 2021 17:30
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