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.

Sign up for GitHub

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

Jump to bottom

[beta-1.72] Update cargo #114279

Merged
merged 1 commit into from
Aug 1, 2023
Merged

[beta-1.72] Update cargo #114279

merged 1 commit into from
Aug 1, 2023

Conversation

weihanglo
Copy link
Member

1 commits in dd6536b8ed28f73c0e82089c72ef39a03bc634be..11ffe0e500346b26e3de1ba115482b4da586dfac
2023-07-18 14:02:13 +0000 to 2023-07-30 20:44:11 +0000

r? @ghost

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jul 31, 2023
@rustbot
Copy link
Collaborator

rustbot commented Jul 31, 2023

Some changes occurred in src/tools/cargo

cc @ehuss

@weihanglo weihanglo changed the title [beta] Update cargo [beta-1.72] Update cargo Jul 31, 2023
@weihanglo
Copy link
Member Author

@bors r+ rollup=never

@bors
Copy link
Contributor

bors commented Jul 31, 2023

📌 Commit 391c7fb has been approved by weihanglo

It is now in the queue for this repository.

@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 Jul 31, 2023
@weihanglo
Copy link
Member Author

Give this a better priority

@bors p=1

@bors
Copy link
Contributor

bors commented Aug 1, 2023

⌛ Testing commit 391c7fb with merge 1537df0...

@bors
Copy link
Contributor

bors commented Aug 1, 2023

☀️ Test successful - checks-actions
Approved by: weihanglo
Pushing 1537df0 to beta...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Aug 1, 2023
@bors bors merged commit 1537df0 into rust-lang:beta Aug 1, 2023
@rustbot rustbot added this to the 1.72.0 milestone Aug 1, 2023
@weihanglo weihanglo deleted the update-beta-cargo branch August 1, 2023 14:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
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
Milestone
1.72.0
Development

Successfully merging this pull request may close these issues.
3 participants
@weihanglo @rustbot @bors