chore: lake: cleanup tests

leanprover / lean4

Lean 4 programming language and theorem prover

https://lean-lang.org

Apache License 2.0

3.82k stars 325 forks source link

Closed tydeu closed 2 weeks ago

tydeu commented 2 weeks ago

Various tweaks and fixes to the Lake tests to make them cleaner and more standardized.

leanprover-community-mathlib4-bot commented 2 weeks ago

Mathlib CI status (docs):

🟡 Mathlib branch lean-pr-testing-4056 build this PR didn't complete normally. (2024-05-02 21:06:56) View Log
🟡 Mathlib branch lean-pr-testing-4056 build this PR didn't complete normally. (2024-05-02 21:31:06) View Log