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

[beta] backport and stage0 bump #115195

Merged
merged 2 commits into from
Aug 25, 2023
Merged

[beta] backport and stage0 bump #115195

merged 2 commits into from
Aug 25, 2023

Conversation

cuviper
Copy link
Member

@cuviper cuviper commented Aug 25, 2023

r? cuviper

@rustbot
Copy link
Collaborator

rustbot commented Aug 25, 2023

⚠️ Warning ⚠️

  • Pull requests are usually filed against the master branch for this repo, but this one is against beta. Please double check that you specified the right target!

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-bootstrap Relevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap) T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. T-release Relevant to the release subteam, which will review and decide on the PR/issue. labels Aug 25, 2023
@cuviper
Copy link
Member Author

cuviper commented Aug 25, 2023

@bors r+ rollup=never

@bors
Copy link
Contributor

bors commented Aug 25, 2023

📌 Commit dc84bde has been approved by cuviper

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 Aug 25, 2023
@bors
Copy link
Contributor

bors commented Aug 25, 2023

⌛ Testing commit dc84bde with merge ba87e4d...

@bors
Copy link
Contributor

bors commented Aug 25, 2023

☀️ Test successful - checks-actions
Approved by: cuviper
Pushing ba87e4d to beta...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Aug 25, 2023
@bors bors merged commit ba87e4d into rust-lang:beta Aug 25, 2023
@rustbot rustbot added this to the 1.73.0 milestone Aug 25, 2023
@cuviper cuviper deleted the beta-next branch August 25, 2023 16:04
bors-ferrocene bot added a commit to ferrocene/ferrocene that referenced this pull request Oct 26, 2023
67: Automated pull from upstream `stable` r=pietroalbini a=github-actions[bot]


This PR pulls the following changes from the upstream repository:

* rust-lang/rust#116364
* rust-lang/rust#116279
* rust-lang/rust#115819
* rust-lang/rust#116044
* rust-lang/rust#115901
* rust-lang/rust#115722
* rust-lang/rust#115442
* rust-lang/rust#115282
* rust-lang/rust#115195
* rust-lang/rust#115056



Co-authored-by: Mark Rousskov <[email protected]>
Co-authored-by: bors <[email protected]>
Co-authored-by: Josh Stone <[email protected]>
Co-authored-by: Jack Huey <[email protected]>
Co-authored-by: Weihang Lo <[email protected]>
Co-authored-by: Tomasz Miąsko <[email protected]>
Co-authored-by: David Tolnay <[email protected]>
Co-authored-by: Scott McMurray <[email protected]>
Co-authored-by: Camille GILLOT <[email protected]>
Co-authored-by: Michael Howell <[email protected]>
Co-authored-by: lcnr <[email protected]>
Co-authored-by: klensy <[email protected]>
Co-authored-by: León Orell Valerian Liehr <[email protected]>
Co-authored-by: Oli Scherer <[email protected]>
Co-authored-by: bohan <[email protected]>
Co-authored-by: ouz-a <[email protected]>
Co-authored-by: Georgii Rylov <[email protected]>
Co-authored-by: Michael Goulet <[email protected]>
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. T-bootstrap Relevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap) T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. T-release Relevant to the release subteam, which will review and decide on the PR/issue.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants