Skip to content

Conversation

@GnomedDev
Copy link
Contributor

When I initially found this, I was wondering why clippy wasn't just using miri, but after some discussion with some rustc folks let's document why.

changelog: none

@rustbot
Copy link
Collaborator

rustbot commented Oct 27, 2024

r? @Alexendoo

rustbot has assigned @Alexendoo.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Oct 27, 2024
@GnomedDev GnomedDev force-pushed the document-constevalctx-point branch from 97381d3 to 339c4ff Compare October 28, 2024 09:25
@GnomedDev GnomedDev force-pushed the document-constevalctx-point branch from 339c4ff to 012e306 Compare November 1, 2024 11:06
@Alexendoo
Copy link
Member

Thanks!

@bors r+

@bors
Copy link
Contributor

bors commented Nov 1, 2024

📌 Commit 012e306 has been approved by Alexendoo

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Nov 1, 2024

⌛ Testing commit 012e306 with merge c782988...

@bors
Copy link
Contributor

bors commented Nov 1, 2024

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: Alexendoo
Pushing c782988 to master...

@bors bors merged commit c782988 into rust-lang:master Nov 1, 2024
8 checks passed
@GnomedDev GnomedDev deleted the document-constevalctx-point branch November 1, 2024 14:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-review Status: Awaiting review from the assignee but also interested parties

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants