Skip to content

Conversation

lnicola
Copy link
Member

@lnicola lnicola commented Apr 3, 2024

Closes #1441

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

lnicola commented Apr 4, 2024

Let's give this a try and see if it causes any issues.

@bors r+

@bors
Copy link
Contributor

bors commented Apr 4, 2024

📌 Commit 692c41e has been approved by lnicola

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Apr 4, 2024

⌛ Testing commit 692c41e with merge 6a852d7...

@bors
Copy link
Contributor

bors commented Apr 4, 2024

☀️ Test successful - checks-actions
Approved by: lnicola
Pushing 6a852d7 to master...

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.

Benchmark with different allocators
3 participants