ยง
Testing infra in Lean4
to run tests in parallel,
cd build/stage1/ && CTEST_PARALLEL_LEVEL=20 ctest
.