Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update cargo #88127

Merged
merged 1 commit into from
Aug 18, 2021
Merged

Update cargo #88127

merged 1 commit into from
Aug 18, 2021

Conversation

ehuss
Copy link
Contributor

@ehuss ehuss commented Aug 18, 2021

8 commits in b51439fd8b505d4800a257acfecf3c69f81e35cf..e96bdb0c3d0a418e7fcd7fbd69be08abf830b4bc
2021-08-09 18:40:05 +0000 to 2021-08-17 22:58:47 +0000

@ehuss ehuss self-assigned this Aug 18, 2021
@rust-highfive
Copy link
Collaborator

⚠️ Warning ⚠️

  • These commits modify submodules.

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Aug 18, 2021
@ehuss
Copy link
Contributor Author

ehuss commented Aug 18, 2021

@bors r+

@bors
Copy link
Contributor

bors commented Aug 18, 2021

📌 Commit b5cbf2f has been approved by ehuss

@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 Aug 18, 2021
@Mark-Simulacrum
Copy link
Member

@bors p=1 (jobserver bump is important for crater workloads)

@bors
Copy link
Contributor

bors commented Aug 18, 2021

⌛ Testing commit b5cbf2f with merge 29d6142...

@bors
Copy link
Contributor

bors commented Aug 18, 2021

☀️ Test successful - checks-actions
Approved by: ehuss
Pushing 29d6142 to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Aug 18, 2021
@bors bors merged commit 29d6142 into rust-lang:master Aug 18, 2021
@rustbot rustbot added this to the 1.56.0 milestone Aug 18, 2021
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.

None yet

5 participants