chore: upgrade functional test suite to Lean version 4.15.0 #170
austinletsonfunctional_tests.yml
on: pull_request
lake-init-failure
9s
auto-config-true
11s
auto-config-false
36s
lake-build-args
16s
detect-mathlib
1m 24s
lake-test-success
11s
lake-test-failure
11s
lake-lint-success
14s
lake-lint-failure
10s
lake-check-test-failure
9s
subdirectory-lake-package
10s
macos-runner
16s
windows-runner
35s
Matrix: lake-init-success
Annotations
8 errors and 10 warnings
|
lake-init-failure
lake build failed
|
|
lake-init-failure
Process completed with exit code 1.
|
|
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-lint-failure
lake lint failed
|
|
lake-lint-failure
Process completed with exit code 1.
|
|
lake-test-failure
lake test failed
|
|
lake-test-failure
Process completed with exit code 1.
|
|
lake-build-args
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
auto-config-true
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
auto-config-false
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
detect-mathlib
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
lake-init-success (standalone)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
lake-init-success (tomltest .toml)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
lake-init-success (mathdep math)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
lake-lint-success
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
lake-test-success
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
subdirectory-lake-package
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|