Skip to content

Conversation

@Veykril
Copy link
Member

@Veykril Veykril commented Jan 6, 2024

No description provided.

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jan 6, 2024
@Veykril
Copy link
Member Author

Veykril commented Jan 6, 2024

@bors r+

@bors
Copy link
Contributor

bors commented Jan 6, 2024

📌 Commit 08edbdb has been approved by Veykril

It is now in the queue for this repository.

bors added a commit that referenced this pull request Jan 6, 2024
internal: Reduce vec cloning in mir lowering/eval
@bors
Copy link
Contributor

bors commented Jan 6, 2024

⌛ Testing commit 08edbdb with merge b269ba0...

@bors
Copy link
Contributor

bors commented Jan 6, 2024

💔 Test failed - checks-actions

@Veykril
Copy link
Member Author

Veykril commented Jan 6, 2024

@bors r+

@bors
Copy link
Contributor

bors commented Jan 6, 2024

📌 Commit 5ac0c14 has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Jan 6, 2024

⌛ Testing commit 5ac0c14 with merge f595e60...

@bors
Copy link
Contributor

bors commented Jan 6, 2024

☀️ Test successful - checks-actions
Approved by: Veykril
Pushing f595e60 to master...

@bors bors merged commit f595e60 into rust-lang:master Jan 6, 2024
@Veykril Veykril deleted the chalk branch January 6, 2024 22:45
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.

3 participants