summaryrefslogtreecommitdiff
path: root/tests/test_runner/dune-project (unfollow)
Commit message (Expand)AuthorFilesLines
2024-05-24Downgrade the version of duneSon Ho1-1/+1
2024-05-24Add simple test runnerNadrieril1-6/+9
2023-06-04Use dune 3.7 and update the flake.lockSon Ho1-1/+1
2022-10-28Move some files to the Charon projectSon Ho1-2/+0
2022-10-27Reorganize a bit the projectSon Ho1-0/+0
2022-10-26Start generating documentationSon Ho1-0/+23
2021-11-02Setup the projectSon Ho1-0/+1