Skip to content

Commit

Permalink
CI script
Browse files Browse the repository at this point in the history
  • Loading branch information
vouillon committed Sep 23, 2024
1 parent 9ab7c93 commit f2e7ba6
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tools/ci_setup.ml
Original file line number Diff line number Diff line change
Expand Up @@ -245,7 +245,7 @@ let clone' delay ?branch ?commit nm src =
(Printf.sprintf "cd jane-street/lib/%s && git checkout %s" nm commit)
let () =
let ch = open_bin "jane-street/dune-workspace" in
let ch = open_in_bin "jane-street/dune-workspace" in
output_string ch dune_workspace;
close_out ch
Expand Down

0 comments on commit f2e7ba6

Please sign in to comment.