From f2e7ba6c49e888c66de9b55a35115a3bc094c67d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Vouillon?= Date: Mon, 23 Sep 2024 13:07:50 +0200 Subject: [PATCH] CI script --- tools/ci_setup.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/ci_setup.ml b/tools/ci_setup.ml index fd8bcaa87..aae625ea1 100644 --- a/tools/ci_setup.ml +++ b/tools/ci_setup.ml @@ -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