I am unable to pass the number of jobs to
Makefile.dune when building the test-suite. It seems to default at about 2. Can/should we fix this easily?
merge https://github.com/coq/coq/pull/14625, then stop using Makefile.dune for the test suite
alternatively setting the env variable NJOBS should work
Last updated: Oct 15 2021 at 21:02 UTC