Skip to content

Revert "DO NOT MERGE: enable windows try builder" #66776

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 1 commit into from
Nov 26, 2019

Conversation

Mark-Simulacrum
Copy link
Member

@Mark-Simulacrum Mark-Simulacrum commented Nov 26, 2019

This reverts commit 90a37bc.

@rust-highfive
Copy link
Contributor

r? @kennytm

(rust_highfive has picked a reviewer for you, use r? to override)

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Nov 26, 2019
@Mark-Simulacrum
Copy link
Member Author

r? @Mark-Simulacrum

Straight up approving since try is currently broken (and this commit is explicitly marked as DO NOT MERGE).

@bors r+ p=1000

@bors
Copy link
Collaborator

bors commented Nov 26, 2019

📌 Commit 47b3d4d has been approved by Mark-Simulacrum

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Nov 26, 2019
@pietroalbini
Copy link
Member

r=me as well.

@hellow554
Copy link
Contributor

Can you explain why it happened? Was it an accident? Some oversight?

@pietroalbini
Copy link
Member

Forgot to remove that commit before the r=alex.

bors added a commit that referenced this pull request Nov 26, 2019
…mulacrum

Revert "DO NOT MERGE: enable windows try builder"

This reverts commit 90a37bc.
@bors
Copy link
Collaborator

bors commented Nov 26, 2019

⌛ Testing commit 47b3d4d with merge 797fd92...

@bors
Copy link
Collaborator

bors commented Nov 26, 2019

☀️ Test successful - checks-azure
Approved by: Mark-Simulacrum
Pushing 797fd92 to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Nov 26, 2019
@bors bors merged commit 47b3d4d into rust-lang:master Nov 26, 2019
@bors bors mentioned this pull request Nov 26, 2019
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants