Skip to content

Commit 73df0b4

Browse files
committed
Fix CI
1 parent 539390d commit 73df0b4

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
@@ -243,7 +243,7 @@ let clone' delay ?branch ?commit nm src =
243243
match commit with
244244
| None -> clone delay ?branch nm src
245245
| Some commit ->
246-
let* () = clone delay ?branch ~depth:10 nm src in
246+
let* () = clone delay ?branch ~depth:100 nm src in
247247
exec_async
248248
~delay:0
249249
(Printf.sprintf "cd jane-street/lib/%s && git checkout -b wasm %s" nm commit)

0 commit comments

Comments
 (0)