Skip to content

Conversation

Mark-Simulacrum
Copy link
Member

r? @Mark-Simulacrum

@rustbot
Copy link
Collaborator

rustbot commented May 29, 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 A-testsuite Area: The testsuite used to check the correctness of rustc S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. T-infra Relevant to the infrastructure team, which will review and decide on the PR/issue. T-libs Relevant to the library team, which will review and decide on the PR/issue. labels May 29, 2023
@rustbot
Copy link
Collaborator

rustbot commented May 29, 2023

Some changes occurred to MIR optimizations

cc @rust-lang/wg-mir-opt

@Mark-Simulacrum
Copy link
Member Author

@bors r+ rollup=never p=15

@bors
Copy link
Collaborator

bors commented May 29, 2023

📌 Commit f4e9379 has been approved by Mark-Simulacrum

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 May 29, 2023
@bors
Copy link
Collaborator

bors commented May 29, 2023

⌛ Testing commit f4e9379 with merge 5660c481e4234000b24da5e77edcbf6021de86b0...

@Mark-Simulacrum
Copy link
Member Author

@bors retry prioritizing stable

@rust-log-analyzer
Copy link
Collaborator

A job failed! Check out the build log: (web) (plain)

Click to see the possible cause of the failure (guessed by this bot)

@bors
Copy link
Collaborator

bors commented May 29, 2023

⌛ Testing commit f4e9379 with merge eff24c0...

@bors
Copy link
Collaborator

bors commented May 29, 2023

☀️ Test successful - checks-actions
Approved by: Mark-Simulacrum
Pushing eff24c0 to beta...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label May 29, 2023
@bors bors merged commit eff24c0 into rust-lang:beta May 29, 2023
@rustbot rustbot added this to the 1.71.0 milestone May 29, 2023
@Mark-Simulacrum Mark-Simulacrum deleted the beta-next branch May 30, 2023 12:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-testsuite Area: The testsuite used to check the correctness of rustc 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-compiler Relevant to the compiler team, which will review and decide on the PR/issue. T-infra Relevant to the infrastructure team, which will review and decide on the PR/issue. T-libs Relevant to the library team, which will review and decide on the PR/issue.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants