-
Notifications
You must be signed in to change notification settings - Fork 12.9k
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
Add two tests #117792
Add two tests #117792
Conversation
r? @TaKO8Ki (rustbot has picked a reviewer for you, use r? to override) |
574ca0c
to
b6b092b
Compare
This comment has been minimized.
This comment has been minimized.
Could you fix CI errors? |
Solver entered in a loop but funny enough, this behavior didn't happen locally. |
b6b092b
to
e5f88c9
Compare
The job Click to see the possible cause of the failure (guessed by this bot)
|
The new solver is still experimental but it probably doesn't hurt to get some attention. Kindly pinging @lcnr |
Thank you @lcnr ! It is always nice to have more tests but at least for now, I will close this PR. |
Related to #116864 and #116749 .