Skip to content
build

[compare2] Add total time for problems solved by both provers #311

Sign in to view logs

[compare2] Add total time for problems solved by both provers

[compare2] Add total time for problems solved by both provers #311

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build (ubuntu-latest, 4.12.x)
6m 13s
Build (ubuntu-latest, 5.0.x)
6m 27s
12m 40s