Skip to content

update LeanTest to prepare for a v3 test-runner - #205

Merged
oxe-i merged 3 commits into
exercism:mainfrom
oxe-i:updateLeanTest
Aug 13, 2026
Merged

update LeanTest to prepare for a v3 test-runner#205
oxe-i merged 3 commits into
exercism:mainfrom
oxe-i:updateLeanTest

trim comments

dcf6fa7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings
Pre-commit checks
succeeded Aug 12, 2026 in 14s