Skip to content
Functional Tests

feat: use lake manifest to determine mathlib dependency #116

Sign in to view logs

feat: use lake manifest to determine mathlib dependency

feat: use lake manifest to determine mathlib dependency #116

Triggered via pull request August 18, 2024 12:52
@austinletsonaustinletson
synchronize #88
82-use-the-lake-manifest-to-determine-mathlib-dependency
Status Success
Total duration 1m 50s
Artifacts –

functional_tests.yml

on: pull_request
lake-init-failure
8s
lake-init-failure
auto-config-true
10s
auto-config-true
auto-config-false
1m 42s
auto-config-false
detect-mathlib
1m 10s
detect-mathlib
lake-test-success
12s
lake-test-success
lake-test-failure
9s
lake-test-failure
lake-lint-success
8s
lake-lint-success
lake-lint-failure
8s
lake-lint-failure
lake-check-test-failure
9s
lake-check-test-failure
subdirectory-lake-package
12s
subdirectory-lake-package
macos-runner
15s
macos-runner
Matrix: lake-init-success
Fit to window
Zoom out
Zoom in

Annotations

5 errors
lake-init-failure
Process completed with exit code 1.
lake-test-failure
Process completed with exit code 1.
lake-lint-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.