test: parameterize functional tests by Lean toolchain #86
austinletsonfunctional_tests.yml
on: pull_request
lake-init-failure
7s
lake-test-success
8s
lake-test-failure
9s
subdirectory-lake-package
9s
Matrix: lake-init-success
Annotations
2 errors
|
lake-init-failure
Process completed with exit code 1.
|
|
lake-test-failure
Process completed with exit code 1.
|