Is there a way to run a single test from the test suite using a direct call to dune? something like
dune build success/sprop.vo?
This topic was moved here from #Coq devs & plugin devs > Running single test with Dune by Karl Palmskog.
Not at the moment, the test suite is still currently being run via a makefile
There is a WIP PR converting this effort to Dune however https://github.com/coq/coq/pull/13364
I haven't found the time/interest to work on it again recently
Also @Karl Palmskog I feel like this belongs in the dev stream since is about the devs use of dune
wasn't clear from the question, but feel free to move back if you think so
This topic was moved here from #Dune devs & users > Running single test with Dune by Théo Zimmermann.
Last updated: Feb 06 2023 at 00:03 UTC