chore: upgrade functional test version to 4.13.0 #156
Triggered via pull request
November 12, 2024 11:22
austinletson
Status
Failure
Total duration
57m 37s
Artifacts
–
functional_tests.yml
on: pull_request
lake-init-failure
10s
auto-config-true
9s
auto-config-false
31s
detect-mathlib
1m 12s
lake-test-success
10s
lake-test-failure
9s
lake-lint-success
13s
lake-lint-failure
15s
lake-check-test-failure
9s
subdirectory-lake-package
9s
macos-runner
17s
windows-runner
31s
Matrix: lake-init-success
Annotations
17 errors
|
auto-config-true
lake build failed
|
|
auto-config-true
Process completed with exit code 1.
|
|
lake-test-failure
lake check-test failed: could not find a test runner
|
|
lake-test-failure
Process completed with exit code 1.
|
|
lake-test-failure
Process completed with exit code 1.
|
|
lake-test-success
lake check-test failed: could not find a test runner
|
|
lake-test-success
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-init-failure
lake build failed
|
|
lake-init-failure
Process completed with exit code 1.
|
|
lake-lint-success
lake check-lint failed: could not find a lint driver
|
|
lake-lint-success
Process completed with exit code 1.
|
|
lake-lint-failure
lake check-lint failed: could not find a lint driver
|
|
lake-lint-failure
Process completed with exit code 1.
|
|
lake-lint-failure
Process completed with exit code 1.
|
|
auto-config-false
Process completed with exit code 1.
|