Skip to content

Conversation

@RalfJung
Copy link
Member

No description provided.

@RalfJung
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented Nov 15, 2019

📌 Commit 5246242 has been approved by RalfJung

@bors
Copy link
Contributor

bors commented Nov 15, 2019

⌛ Testing commit 5246242 with merge abab020...

bors added a commit that referenced this pull request Nov 15, 2019
test-cargo-miri: cargo update, re-enable windows num_cpus test
@bors
Copy link
Contributor

bors commented Nov 15, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: RalfJung
Pushing abab020 to master...

@bors bors merged commit 5246242 into rust-lang:master Nov 15, 2019
@RalfJung RalfJung deleted the win-num-cpus branch November 15, 2019 17:46
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