Skip to content

fix: use eval to expand lake build arguments #163

fix: use eval to expand lake build arguments

fix: use eval to expand lake build arguments #163

Triggered via pull request November 23, 2024 12:40
Status Success
Total duration 2m 11s
Artifacts

functional_tests.yml

on: pull_request
lake-init-failure
8s
lake-init-failure
auto-config-true
13s
auto-config-true
auto-config-false
27s
auto-config-false
lake-build-args
11s
lake-build-args
detect-mathlib
1m 10s
detect-mathlib
lake-test-success
14s
lake-test-success
lake-test-failure
9s
lake-test-failure
lake-lint-success
10s
lake-lint-success
lake-lint-failure
11s
lake-lint-failure
lake-check-test-failure
8s
lake-check-test-failure
subdirectory-lake-package
10s
subdirectory-lake-package
macos-runner
15s
macos-runner
windows-runner
27s
windows-runner
Matrix: lake-init-success
Fit to window
Zoom out
Zoom in

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.