How can I stop dune from rebuilding the test-suite every time? I had to switch back to the legacy system because I couldn't get incremental builds
don't use dune runtest, instead cd test-suite; make
ignore unit test failures until https://github.com/coq/coq/pull/14625 merged (unit tests don't test anything interesting anyway)
To only run part of the test-suite, when using dune, I modify last line the
test-suite/dune file and add the name of the make-target before the closing double-quotes.
Last updated: May 28 2023 at 13:30 UTC