File tree Expand file tree Collapse file tree 4 files changed +4
-4
lines changed
uri-bench/uri-bench.4.4.0 Expand file tree Collapse file tree 4 files changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -19,7 +19,7 @@ depends: [
1919 "core_unix" {>= "v0.14.0"}
2020]
2121build: [
22- ["dune" "subst"] {pinned }
22+ ["dune" "subst"] {dev }
2323 ["dune" "build" "-p" name "-j" jobs]
2424 ["dune" "runtest" "-p" name "-j" jobs] {with-test}
2525]
Original file line number Diff line number Diff line change @@ -23,7 +23,7 @@ depends: [
2323 "crowbar" {with-test}
2424]
2525build: [
26- ["dune" "subst"] {pinned }
26+ ["dune" "subst"] {dev }
2727 ["dune" "build" "-p" name "-j" jobs]
2828 ["dune" "runtest" "-p" name "-j" jobs] {with-test & os != "macos"}
2929]
Original file line number Diff line number Diff line change @@ -19,7 +19,7 @@ depends: [
1919 "ounit2" {with-test}
2020]
2121build: [
22- ["dune" "subst"] {pinned }
22+ ["dune" "subst"] {dev }
2323 ["dune" "build" "-p" name "-j" jobs]
2424 ["dune" "runtest" "-p" name "-j" jobs] {with-test}
2525]
Original file line number Diff line number Diff line change @@ -22,7 +22,7 @@ depends: [
2222 "angstrom" {>= "0.14.0"}
2323]
2424build: [
25- ["dune" "subst"] {pinned }
25+ ["dune" "subst"] {dev }
2626 ["dune" "build" "-p" name "-j" jobs]
2727 ["dune" "runtest" "-p" name "-j" jobs] {with-test & os != "macos"}
2828]
You can’t perform that action at this time.
0 commit comments