Lean’s test runner was updated to v3 today. In practice, this means cleaner, per-test output and better error messages. This update also paves the way for the track’s upcoming learning mode.
4 Likes
Lean’s test runner was updated to v3 today. In practice, this means cleaner, per-test output and better error messages. This update also paves the way for the track’s upcoming learning mode.