monitoring-experiments: update from upstream (pinned -> dev)
This commit is contained in:
parent
aa3f1f32e7
commit
812e7e2ce4
1 changed files with 1 additions and 1 deletions
|
@ -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}
|
||||
]
|
||||
|
|
Loading…
Reference in a new issue