chore: upgrade functional test suite to Lean version 4.16.0 #171
austinletsonfunctional_tests.yml
on: pull_request
lake-init-failure
13s
auto-config-true
10s
auto-config-false
42s
lake-build-args
11s
detect-mathlib
1m 19s
lake-test-success
14s
lake-test-failure
9s
lake-lint-success
10s
lake-lint-failure
10s
lake-check-test-failure
8s
subdirectory-lake-package
9s
macos-runner
21s
windows-runner
43s
Matrix: lake-init-success
Annotations
8 errors
|
lake-check-test-failure
lake check-test failed: could not find a test runner
|
|
lake-check-test-failure
Process completed with exit code 1.
|
|
lake-test-failure
lake test failed
|
|
lake-test-failure
Process completed with exit code 1.
|
|
lake-lint-failure
lake lint failed
|
|
lake-lint-failure
Process completed with exit code 1.
|
|
lake-init-failure
lake build failed
|
|
lake-init-failure
Process completed with exit code 1.
|