Skip to content

Commit 1e773c5

Browse files
committed
WIP
1 parent 0706442 commit 1e773c5

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

tools/ci_setup.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -287,7 +287,7 @@ let pin_packages () = sync_exec pin (StringSet.elements do_pin)
287287

288288
let install_others others =
289289
let others = StringSet.elements (StringSet.diff others omitted_others) in
290-
ignore (Sys.command ("opam install -y " ^ String.concat " " others))
290+
ignore (Sys.command ("opam install -y sedlex.3.4 " ^ String.concat " " others))
291291

292292
let clone ?branch ?(depth = 1) nm src =
293293
exec_async

0 commit comments

Comments
 (0)