mirror of
https://github.com/idris-lang/Idris2.git
synced 2025-01-03 12:33:26 +03:00
004cc45e9d
* Banners for test pools * Summary with the list of failing tests at the end * Option to write the list of failing tests to a file * Option to read the list of tests to run from a file * Using these two latest features to add a new make target to rerun precisely the tests that failed last time |
||
|---|---|---|
| .. | ||
| base | ||
| contrib | ||
| network | ||
| prelude | ||
| test | ||