feat(ci): add Lean testing in the CI #1908
AlasdairAnnotations
4 errors and 2 notices
|
union.sail with error:
/#L0
./lean/tests.xml
|
|
enum.sail with error:
/#L0
./lean/tests.xml
|
|
tuples.sail with error:
/#L0
./lean/tests.xml
|
|
match.sail with error:
/#L0
./lean/tests.xml
|
|
759 tests found
There are 759 tests, see "Raw output" for the full list of tests.
|
|
759 tests found
There are 759 tests, see "Raw output" for the full list of tests.
|