File tree 3 files changed +5
-5
lines changed
3 files changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -14,7 +14,7 @@ depends: [
14
14
"odoc" {with-doc & >= "1.1.1"}
15
15
]
16
16
build: [
17
- ["dune" "subst"] {pinned }
17
+ ["dune" "subst"] {dev }
18
18
["dune" "build" "-p" name "-j" jobs]
19
19
["dune" "runtest" "-p" name "-j" jobs] {with-test}
20
20
["dune" "build" "-p" name "-j" jobs] {with-doc}
Original file line number Diff line number Diff line change @@ -11,10 +11,10 @@ depends: [
11
11
"dune" {>= "1.0"}
12
12
"odoc" {with-doc & >= "1.1.1"}
13
13
"alcotest"
14
- "junit"
14
+ "junit" {= version}
15
15
]
16
16
build: [
17
- ["dune" "subst"] {pinned }
17
+ ["dune" "subst"] {dev }
18
18
["dune" "build" "-p" name "-j" jobs]
19
19
["dune" "build" "-p" name "-j" jobs] {with-doc}
20
20
]
Original file line number Diff line number Diff line change @@ -11,10 +11,10 @@ depends: [
11
11
"dune" {>= "1.0"}
12
12
"odoc" {with-doc & >= "1.1.1"}
13
13
"ounit2"
14
- "junit"
14
+ "junit" {= version}
15
15
]
16
16
build: [
17
- ["dune" "subst"] {pinned }
17
+ ["dune" "subst"] {dev }
18
18
["dune" "build" "-p" name "-j" jobs]
19
19
["dune" "build" "-p" name "-j" jobs] {with-doc}
20
20
]
You can’t perform that action at this time.
0 commit comments