Skip to content

[beta] Switch to bootstrapping from dev-static stable #67370

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
Dec 18, 2019

Conversation

Mark-Simulacrum
Copy link
Member

r? @ghost

@Mark-Simulacrum
Copy link
Member Author

@bors r+ p=1000

@bors
Copy link
Collaborator

bors commented Dec 17, 2019

📌 Commit 175ca98 has been approved by Mark-Simulacrum

@bors
Copy link
Collaborator

bors commented Dec 17, 2019

🌲 The tree is currently closed for pull requests below priority 100, this pull request will be tested once the tree is reopened

@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 Dec 17, 2019
@Mark-Simulacrum
Copy link
Member Author

Going to actually demote the priority here, this is less important than some of the other changes we have in the works; @bors p=5

@Mark-Simulacrum
Copy link
Member Author

@bors p=100

@bors
Copy link
Collaborator

bors commented Dec 17, 2019

⌛ Testing commit 175ca98 with merge 4d8020649090a12b3e54d3ed8fe26b9f77e3777e...

@Mark-Simulacrum
Copy link
Member Author

@bors retry

Given our timing constraints on the other PR we actually want to get that started ASAP so it hopefully lands in time, so let's bump this.

@bors
Copy link
Collaborator

bors commented Dec 17, 2019

⌛ Testing commit 175ca98 with merge eb3f7c2...

bors added a commit that referenced this pull request Dec 17, 2019
[beta] Switch to bootstrapping from dev-static stable

r? @ghost
@bors
Copy link
Collaborator

bors commented Dec 18, 2019

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

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Dec 18, 2019
@bors bors merged commit 175ca98 into rust-lang:beta Dec 18, 2019
@Mark-Simulacrum Mark-Simulacrum deleted the beta-next branch December 18, 2019 01:19
# 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.

2 participants