Skip to content

Conversation

Veykril
Copy link
Member

@Veykril Veykril commented Jun 3, 2024

cc #17339, db80216 should fix a case where we don't reduce our search space appropriately. This also adds a fuel system which really shouldn't ever be hit, hence why it warns

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

Veykril commented Jun 3, 2024

@bors r+

@bors
Copy link
Contributor

bors commented Jun 3, 2024

📌 Commit f1dbb95 has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Jun 3, 2024

⌛ Testing commit f1dbb95 with merge 09d7dcc...

@bors
Copy link
Contributor

bors commented Jun 3, 2024

☀️ Test successful - checks-actions
Approved by: Veykril
Pushing 09d7dcc 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.

3 participants