Skip to content
Tests

Bump the Lean versions for our tests to 4.19. #2608

Sign in to view logs

Bump the Lean versions for our tests to 4.19.

Bump the Lean versions for our tests to 4.19. #2608

Run time

Learn about OS pricing on GitHub Actions
Job Run time
ci (macos-latest, stable)
2m 17s
ci (macos-latest, nightly)
1m 44s
ci (macos-latest, v0.10.4)
1m 45s
ci (ubuntu-latest, stable)
2m 1s
ci (ubuntu-latest, nightly)
1m 58s
ci (ubuntu-latest, v0.10.4)
2m 7s
release
0s
11m 52s