summaryrefslogtreecommitdiff
path: root/tests/test_runner/dune-project (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Downgrade the version of duneSon Ho2024-05-241-1/+1
|
* Add simple test runnerNadrieril2024-05-241-0/+25