Details
-
Improvement
-
Status: Closed
-
Major - P3
-
Resolution: Fixed
-
None
-
None
Description
Running make check currently takes 12.5 minutes to run with sync disabled. Ideally it would be good for it to take less than two minutes.
OTOH: make check is the main way we currently run the C test code. Maybe we could consider adding a new mode that runs extended versions of those tests.