chore: upgrade functional test suite to Lean version 4.15.0 #170
Annotations
2 errors
Run /./.github/functional_tests/lake_check_test_failure
lake check-test failed: could not find a test runner
|
Run /./.github/functional_tests/lake_check_test_failure
Process completed with exit code 1.
|
Loading