Skip to content
Merged

Allow runtest to run individual tests#11041
rgrinberg merged 7 commits intoocaml:mainfrom Alizter:runtest-qol

Allow runtest to run individual tests#11041

Merged
rgrinberg merged 7 commits intoocaml:mainfrom Alizter:runtest-qolOct 31, 2024

Commits

Commits on Oct 31, 2024