combine lean-update action
#152
Triggered via pull request
September 25, 2024 21:23
Seasawher
Status
Success
Total duration
2m 42s
Artifacts
–
functional_tests.yml
on: pull_request
lake-init-failure
15s
auto-config-true
20s
auto-config-false
2m 31s
detect-mathlib
1m 12s
lake-test-success
27s
lake-test-failure
23s
lake-lint-success
21s
lake-lint-failure
20s
lake-check-test-failure
8s
subdirectory-lake-package
27s
macos-runner
33s
windows-runner
1m 18s
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-init-failure
lake build failed
|
|
lake-init-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.
|