scratch
§
Testing Infra in Lean4
created 2022-10-13
to run tests in parallel,
cd build/stage1/ && CTEST_PARALLEL_LEVEL=20 ctest
.
❦