Skip to content
Code Quality

Fix counterexamples for inclusion #528

Sign in to view logs

Fix counterexamples for inclusion

Fix counterexamples for inclusion #528

Run time

Learn about OS pricing on GitHub Actions
Job Run time
run-test-performance (ubuntu-latest)
4m 48s
run-test-performance-base (ubuntu-latest)
6m 44s
run-test-performance (macos-latest)
6m 1s
run-test-performance-base (macos-latest)
3m 53s
run-tests (ubuntu-latest)
4m 5s
warnings-base (ubuntu-latest)
4m 16s
run-tests (macos-latest)
3m 30s
warnings-new (ubuntu-latest)
1m 55s
warnings-base (macos-latest)
3m 31s
warnings-new (macos-latest)
1m 20s
code-coverage
1m 37s
compare-versions (ubuntu-latest)
7s
compare-versions (macos-latest)
6s
compare-performance (ubuntu-latest)
15s
compare-performance (macos-latest)
17s
42m 25s