robur/mirage-monitoring
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

opam: pinned is now dev

Browse source
This commit is contained in:
Hannes Mehnert 2022-01-29 17:06:12 +01:00
parent 2b4f335d76
commit 4a07e47893
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
monitoring-experiments.opam
View file

@ -21,7 +21,7 @@ depends: [
"mirage-runtime"
]
build: [
["dune" "subst"] {pinned}
["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs]
["dune" "runtest" "-p" name "-j" jobs] {with-test}
]