chore: upgrade functional test suite to Lean version 4.15.0 #170
Annotations
2 errors
|
Run /./.github/functional_tests/lake_test_failure
lake test failed
|
|
Run /./.github/functional_tests/lake_test_failure
Process completed with exit code 1.
|
Loading