Skip to content

Conversation

Mark-Simulacrum
Copy link
Member

r? @ghost

@Mark-Simulacrum Mark-Simulacrum changed the base branch from master to beta June 2, 2020 15:53
@Mark-Simulacrum
Copy link
Member Author

@bors r+ p=5 rollup=never

@bors
Copy link
Collaborator

bors commented Jun 2, 2020

📌 Commit d21c8c4 has been approved by Mark-Simulacrum

@bors bors added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Jun 2, 2020
@bors
Copy link
Collaborator

bors commented Jun 2, 2020

⌛ Testing commit d21c8c4 with merge da8a98d6f7d91a75e3a1064edda9ff27fe52dae9...

@bors
Copy link
Collaborator

bors commented Jun 2, 2020

💔 Test failed - checks-azure

@bors bors added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. labels Jun 2, 2020
@Mark-Simulacrum
Copy link
Member Author

@bors r+ p=5 rollup=never

@bors
Copy link
Collaborator

bors commented Jun 3, 2020

📌 Commit 5afb70a 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 Jun 3, 2020
@bors
Copy link
Collaborator

bors commented Jun 3, 2020

⌛ Testing commit 5afb70a with merge b7dc83a...

@bors
Copy link
Collaborator

bors commented Jun 3, 2020

☀️ Test successful - checks-azure
Approved by: Mark-Simulacrum
Pushing b7dc83a to beta...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Jun 3, 2020
@bors bors merged commit b7dc83a into rust-lang:beta Jun 3, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in 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.

2 participants