feat: use lake manifest to determine mathlib dependency #117
functional_tests.yml
on: pull_request
lake-init-failure
7s
auto-config-true
8s
auto-config-false
8s
detect-mathlib
1m 3s
lake-test-success
11s
lake-test-failure
9s
lake-lint-success
12s
lake-lint-failure
7s
lake-check-test-failure
8s
subdirectory-lake-package
7s
macos-runner
16s
Matrix: lake-init-success
Annotations
38 errors
lake-init-failure
No lake-manifest.json found. Run lake update to generate manifest
|
lake-init-failure
Exiting with status 1
|
lake-init-failure
Process completed with exit code 1.
|
lake-init-failure
Process completed with exit code 1.
|
auto-config-false
No lake-manifest.json found. Run lake update to generate manifest
|
auto-config-false
Exiting with status 1
|
auto-config-false
Process completed with exit code 1.
|
subdirectory-lake-package
No lake-manifest.json found. Run lake update to generate manifest
|
subdirectory-lake-package
Exiting with status 1
|
subdirectory-lake-package
Process completed with exit code 1.
|
lake-lint-failure
No lake-manifest.json found. Run lake update to generate manifest
|
lake-lint-failure
Exiting with status 1
|
lake-lint-failure
Process completed with exit code 1.
|
lake-lint-failure
Process completed with exit code 1.
|
auto-config-true
No lake-manifest.json found. Run lake update to generate manifest
|
auto-config-true
Exiting with status 1
|
auto-config-true
Process completed with exit code 1.
|
lake-init-success (standalone)
No lake-manifest.json found. Run lake update to generate manifest
|
lake-init-success (standalone)
Exiting with status 1
|
lake-init-success (standalone)
Process completed with exit code 1.
|
lake-check-test-failure
No lake-manifest.json found. Run lake update to generate manifest
|
lake-check-test-failure
Exiting with status 1
|
lake-check-test-failure
Process completed with exit code 1.
|
lake-test-failure
No lake-manifest.json found. Run lake update to generate manifest
|
lake-test-failure
Exiting with status 1
|
lake-test-failure
Process completed with exit code 1.
|
lake-test-failure
Process completed with exit code 1.
|
lake-init-success (mathdep math)
The job was canceled because "standalone" failed.
|
lake-lint-success
No lake-manifest.json found. Run lake update to generate manifest
|
lake-lint-success
Exiting with status 1
|
lake-lint-success
Process completed with exit code 1.
|
lake-init-success (tomltest .toml)
The job was canceled because "standalone" failed.
|
lake-test-success
No lake-manifest.json found. Run lake update to generate manifest
|
lake-test-success
Exiting with status 1
|
lake-test-success
Process completed with exit code 1.
|
macos-runner
No lake-manifest.json found. Run lake update to generate manifest
|
macos-runner
Exiting with status 1
|
macos-runner
Process completed with exit code 1.
|