Build:
- 0
2026-06-24 13:54.51: New job: build qcheck-lin.0.8 (512dd0039286) 2026-06-24 13:54.51: Waiting for resource in pool day11-builds 2026-06-24 15:39.07: Got resource from pool day11-builds 2026-06-24 15:39.07: [profile full] build qcheck-lin.0.8 2026-06-24 15:39.07: build qcheck-lin.0.8 (512dd0039286) === DEPENDENCIES (10 transitive) === base-domains.base 4470af75b5ca base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb dune.3.23.1 dc7ac21ea3be ocaml.5.4.1 71fed6f83b21 ocaml-base-compiler.5.4.1 4b8cbe74bda9 ocaml-compiler.5.4.1 df07189447bd ocaml-config.3 e4a06a221f09 qcheck-core.0.91 e5b75dfe067e qcheck-multicoretests-util.0.8 8c65aa4f1504 === STDOUT === Processing: [default: loading data] [qcheck-lin.0.8: extract] -> retrieved qcheck-lin.0.8 (cached) [qcheck-lin: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "qcheck-lin" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/qcheck-lin.0.8) - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I lib/.lin_effect.objs/byte -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/qcheck-core/runner -I /home/opam/.opam/default/lib/qcheck-multicoretests-util -I lib/.lin.objs/byte -cmi-file lib/.lin_effect.objs/byte/lin_effect.cmi -no-alias-deps -o lib/.lin_effect.objs/byte/lin_effect.cmo -c -impl lib/lin_effect.ml) - File "lib/lin_effect.ml", line 55, characters 7-20: - 55 | (Gen.frequency - ^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I lib/.lin.objs/byte -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/qcheck-core/runner -I /home/opam/.opam/default/lib/qcheck-multicoretests-util -cmi-file lib/.lin.objs/byte/lin.cmi -no-alias-deps -o lib/.lin.objs/byte/lin.cmo -c -impl lib/lin.ml) - File "lib/lin.ml", line 160, characters 50-59: - 160 | let qcheck_nat64_small = QCheck.(map Int64.of_int small_nat) - ^^^^^^^^^ - Alert deprecated: QCheck.small_nat - Use [nat_small] instead - - File "lib/lin.ml", line 168, characters 52-64: - 168 | let string_small = QCheck.(set_shrink shrink_string small_string) - ^^^^^^^^^^^^ - Alert deprecated: QCheck.small_string - Use [string_small] instead - - File "lib/lin.ml", line 169, characters 62-84: - 169 | let string_small_printable = QCheck.(set_shrink shrink_string small_printable_string) - ^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.small_printable_string - Use [string_size_of] instead - - File "lib/lin.ml", line 178, characters 34-55: - 178 | let char_printable = GenDeconstr (QCheck.printable_char, QCheck.Print.char, (=)) - ^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.printable_char - Use [char_printable] instead - - File "lib/lin.ml", line 179, characters 34-50: - 179 | let nat_small = GenDeconstr (QCheck.small_nat, QCheck.Print.int, (=)) - ^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.small_nat - Use [nat_small] instead - - File "lib/lin.ml", line 181, characters 34-50: - 181 | let int_small = GenDeconstr (QCheck.small_int, QCheck.Print.int, (=)) - ^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.small_int - Use [nat_small] instead - - File "lib/lin.ml", line 182, characters 34-48: - 182 | let int_pos = GenDeconstr (QCheck.pos_int, QCheck.Print.int, (=)) - ^^^^^^^^^^^^^^ - Alert deprecated: QCheck.pos_int - Use [int_pos] instead - - File "lib/lin.ml", line 211, characters 31-48: - 211 | | Gen (arb, print) -> Gen (QCheck.small_list arb, QCheck.Print.list print) - ^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.small_list - Use [list_small] instead - - File "lib/lin.ml", line 212, characters 51-68: - 212 | | GenDeconstr (arb, print, eq) -> GenDeconstr (QCheck.small_list arb, QCheck.Print.list print, List.equal eq) - ^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.small_list - Use [list_small] instead - - File "lib/lin.ml", line 223, characters 31-51: - 223 | | Gen (arb, print) -> Gen (QCheck.array_of_size QCheck.Gen.small_nat arb, QCheck.Print.array print) - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.array_of_size - Use [array_size] instead - - File "lib/lin.ml", line 223, characters 52-72: - 223 | | Gen (arb, print) -> Gen (QCheck.array_of_size QCheck.Gen.small_nat arb, QCheck.Print.array print) - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.small_nat - Use [nat_small] instead - - File "lib/lin.ml", line 224, characters 51-71: - 224 | | GenDeconstr (arb, print, eq) -> GenDeconstr (QCheck.array_of_size QCheck.Gen.small_nat arb, QCheck.Print.array print, Array.for_all2 eq) - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.array_of_size - Use [array_size] instead - - File "lib/lin.ml", line 224, characters 72-92: - 224 | | GenDeconstr (arb, print, eq) -> GenDeconstr (QCheck.array_of_size QCheck.Gen.small_nat arb, QCheck.Print.array print, Array.for_all2 eq) - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.small_nat - Use [nat_small] instead - - File "lib/lin.ml", line 262, characters 39-59: - 262 | | Gen (arb, print) -> Gen (arb_seq QCheck.Gen.small_nat arb, print_seq print) - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.small_nat - Use [nat_small] instead - - File "lib/lin.ml", line 263, characters 59-79: - 263 | | GenDeconstr (arb, print, eq) -> GenDeconstr (arb_seq QCheck.Gen.small_nat arb, print_seq print, seq_equal eq) - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.small_nat - Use [nat_small] instead - - File "lib/lin.ml", line 444, characters 35-55: - 444 | let gen_cmd : cmd QCheck.Gen.t = QCheck.Gen.frequency api - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I lib/.lin.objs/byte -I lib/.lin.objs/native -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/qcheck-core/runner -I /home/opam/.opam/default/lib/qcheck-multicoretests-util -cmi-file lib/.lin.objs/byte/lin.cmi -no-alias-deps -o lib/.lin.objs/native/lin.cmx -c -impl lib/lin.ml) - File "lib/lin.ml", line 160, characters 50-59: - 160 | let qcheck_nat64_small = QCheck.(map Int64.of_int small_nat) - ^^^^^^^^^ - Alert deprecated: QCheck.small_nat - Use [nat_small] instead - - File "lib/lin.ml", line 168, characters 52-64: - 168 | let string_small = QCheck.(set_shrink shrink_string small_string) - ^^^^^^^^^^^^ - Alert deprecated: QCheck.small_string - Use [string_small] instead - - File "lib/lin.ml", line 169, characters 62-84: - 169 | let string_small_printable = QCheck.(set_shrink shrink_string small_printable_string) - ^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.small_printable_string - Use [string_size_of] instead - - File "lib/lin.ml", line 178, characters 34-55: - 178 | let char_printable = GenDeconstr (QCheck.printable_char, QCheck.Print.char, (=)) - ^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.printable_char - Use [char_printable] instead - - File "lib/lin.ml", line 179, characters 34-50: - 179 | let nat_small = GenDeconstr (QCheck.small_nat, QCheck.Print.int, (=)) - ^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.small_nat - Use [nat_small] instead - - File "lib/lin.ml", line 181, characters 34-50: - 181 | let int_small = GenDeconstr (QCheck.small_int, QCheck.Print.int, (=)) - ^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.small_int - Use [nat_small] instead - - File "lib/lin.ml", line 182, characters 34-48: - 182 | let int_pos = GenDeconstr (QCheck.pos_int, QCheck.Print.int, (=)) - ^^^^^^^^^^^^^^ - Alert deprecated: QCheck.pos_int - Use [int_pos] instead - - File "lib/lin.ml", line 211, characters 31-48: - 211 | | Gen (arb, print) -> Gen (QCheck.small_list arb, QCheck.Print.list print) - ^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.small_list - Use [list_small] instead - - File "lib/lin.ml", line 212, characters 51-68: - 212 | | GenDeconstr (arb, print, eq) -> GenDeconstr (QCheck.small_list arb, QCheck.Print.list print, List.equal eq) - ^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.small_list - Use [list_small] instead - - File "lib/lin.ml", line 223, characters 31-51: - 223 | | Gen (arb, print) -> Gen (QCheck.array_of_size QCheck.Gen.small_nat arb, QCheck.Print.array print) - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.array_of_size - Use [array_size] instead - - File "lib/lin.ml", line 223, characters 52-72: - 223 | | Gen (arb, print) -> Gen (QCheck.array_of_size QCheck.Gen.small_nat arb, QCheck.Print.array print) - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.small_nat - Use [nat_small] instead - - File "lib/lin.ml", line 224, characters 51-71: - 224 | | GenDeconstr (arb, print, eq) -> GenDeconstr (QCheck.array_of_size QCheck.Gen.small_nat arb, QCheck.Print.array print, Array.for_all2 eq) - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.array_of_size - Use [array_size] instead - - File "lib/lin.ml", line 224, characters 72-92: - 224 | | GenDeconstr (arb, print, eq) -> GenDeconstr (QCheck.array_of_size QCheck.Gen.small_nat arb, QCheck.Print.array print, Array.for_all2 eq) - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.small_nat - Use [nat_small] instead - - File "lib/lin.ml", line 262, characters 39-59: - 262 | | Gen (arb, print) -> Gen (arb_seq QCheck.Gen.small_nat arb, print_seq print) - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.small_nat - Use [nat_small] instead - - File "lib/lin.ml", line 263, characters 59-79: - 263 | | GenDeconstr (arb, print, eq) -> GenDeconstr (arb_seq QCheck.Gen.small_nat arb, print_seq print, seq_equal eq) - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.small_nat - Use [nat_small] instead - - File "lib/lin.ml", line 444, characters 35-55: - 444 | let gen_cmd : cmd QCheck.Gen.t = QCheck.Gen.frequency api - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I lib/.lin_effect.objs/byte -I lib/.lin_effect.objs/native -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/qcheck-core -I /home/opam/.opam/default/lib/qcheck-core/runner -I /home/opam/.opam/default/lib/qcheck-multicoretests-util -I lib/.lin.objs/byte -I lib/.lin.objs/native -cmi-file lib/.lin_effect.objs/byte/lin_effect.cmi -no-alias-deps -o lib/.lin_effect.objs/native/lin_effect.cmx -c -impl lib/lin_effect.ml) - File "lib/lin_effect.ml", line 55, characters 7-20: - 55 | (Gen.frequency - ^^^^^^^^^^^^^ - Alert deprecated: QCheck.Gen.frequency - Use [oneof_weighted] instead -> compiled qcheck-lin.0.8 -> installed qcheck-lin.0.8 === STDERR === 2026-06-24 15:39.18: OK: build qcheck-lin.0.8 (runc: 3.1s, disk: 17KB) 2026-06-24 15:39.18: Job succeeded