simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2026-01-24 10:26:40 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix: ensure that the mdx test doesn't run too early

Browse source
This commit is contained in:
Simon Cruanes 2019-02-26 19:10:06 -06:00 • committed by Guillaume Bury
parent 2aa9b3d4bc
commit 7e9693348a
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
dune
View file

@ -1,7 +1,7 @@
(alias
(name runtest)
(deps README.md)
(deps README.md src/core/msat.cma src/sat/msat_sat.cma src/sudoku/sudoku_solve.exe)
(locks test)
(action (progn
(run mdx test README.md)