Skip to content

Remove more snippet_opt calls #13255

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

Merged
merged 2 commits into from
Aug 12, 2024
Merged

Remove more snippet_opt calls #13255

merged 2 commits into from
Aug 12, 2024

Conversation

Jarcho
Copy link
Contributor

@Jarcho Jarcho commented Aug 11, 2024

First commit is the same as #13244

changelog: none

@rustbot
Copy link
Collaborator

rustbot commented Aug 11, 2024

r? @Manishearth

rustbot has assigned @Manishearth.
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 Aug 11, 2024
@Manishearth
Copy link
Member

@bors r+

@bors
Copy link
Contributor

bors commented Aug 12, 2024

📌 Commit ddf2ba5 has been approved by Manishearth

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Aug 12, 2024

⌛ Testing commit ddf2ba5 with merge 1984752...

@bors
Copy link
Contributor

bors commented Aug 12, 2024

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

@bors bors merged commit 1984752 into rust-lang:master Aug 12, 2024
8 checks passed
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.

4 participants