chore: upgrade functional test suite to Lean version 4.16.0 #171
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