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 c3e3e45 commit 9ab7c93
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions tools/ci_setup.ml
Original file line number Diff line number Diff line change
Expand Up @@ -245,9 +245,9 @@ let clone' delay ?branch ?commit nm src =
(Printf.sprintf "cd jane-street/lib/%s && git checkout %s" nm commit)
let () =
Out_channel.(
with_open_bin "jane-street/dune-workspace"
@@ fun ch -> output_string ch dune_workspace)
let ch = open_bin "jane-street/dune-workspace" in
output_string ch dune_workspace;
close_out ch
let () =
let js, others =
Expand Down

0 comments on commit 9ab7c93

Please sign in to comment.