Skip to content

chore: more informative tests for debugging #30

chore: more informative tests for debugging

chore: more informative tests for debugging #30

Annotations

1 error and 1 warning

Build and test (leanprover/lean4:4.6.0)

failed Mar 5, 2024 in 37s