Skip to content
CI

Move solver issue and timeout listings to the test-set themselves #148

Sign in to view logs

Move solver issue and timeout listings to the test-set themselves

Move solver issue and timeout listings to the test-set themselves #148

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Code style
1m 28s
1m 28s