Build:
- 0
2026-10-01 23:34.47: New job: build qcheck-lin.0.10 (34f29a8e6590) 2026-10-01 23:34.47: Waiting for resource in pool day11-builds 2026-10-01 23:40.35: Got resource from pool day11-builds 2026-10-01 23:40.35: [profile oxcaml-odoc-master] build qcheck-lin.0.10 2026-10-01 23:40.38: build qcheck-lin.0.10 (34f29a8e6590) === DEPENDENCIES (12 transitive) === base-domains.base 4d16f19905f6 base-threads.base ddcab511c589 base-unix.base 742554e1dbc2 conf-autoconf.1 43fe4a407b7a conf-which.1 5fccb3a41099 dune.3.22.2+ox a2ef013eeea9 ocaml.5.2.0 cda6777ccfe3 ocaml-config.3 d77b853eaa33 ocaml-variants.5.2.0+ox a9808a9375cd oxcaml-compiler.5.2.0minus39 9c94ae342626 qcheck-core.0.91 da06a3b1ad41 qcheck-multicoretests-util.0.10 4b66dcd3b260 === STDOUT === Processing: [default: loading data] [qcheck-lin.0.10: extract] -> retrieved qcheck-lin.0.10 (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.10) - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -bin-annot-cms -I lib/.lin_domain.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_domain.objs/byte/lin_domain.cmi -no-alias-deps -o lib/.lin_domain.objs/byte/lin_domain.cmo -c -impl lib/lin_domain.ml) - File "lib/lin_domain.ml", line 22, characters 15-27: - 22 | let dom1 = Domain.spawn (main cmds1) in - ^^^^^^^^^^^^ - Alert do_not_spawn_domains: Stdlib.Domain.spawn - User programs should never spawn domains. To execute a function on a domain, use [Multicore] from the threading library. This is because spawning more than [recommended_domain_count] domains (the CPU core count) will significantly degrade GC performance. Using both [Domain.spawn] and [Multicore] can cause [Multicore] to abort. - - File "lib/lin_domain.ml", line 22, characters 15-27: - 22 | let dom1 = Domain.spawn (main cmds1) in - ^^^^^^^^^^^^ - Alert unsafe_multidomain: Stdlib.Domain.spawn - Use [Domain.Safe.spawn]. - - File "lib/lin_domain.ml", line 23, characters 15-27: - 23 | let dom2 = Domain.spawn (main cmds2) in - ^^^^^^^^^^^^ - Alert do_not_spawn_domains: Stdlib.Domain.spawn - User programs should never spawn domains. To execute a function on a domain, use [Multicore] from the threading library. This is because spawning more than [recommended_domain_count] domains (the CPU core count) will significantly degrade GC performance. Using both [Domain.spawn] and [Multicore] can cause [Multicore] to abort. - - File "lib/lin_domain.ml", line 23, characters 15-27: - 23 | let dom2 = Domain.spawn (main cmds2) in - ^^^^^^^^^^^^ - Alert unsafe_multidomain: Stdlib.Domain.spawn - Use [Domain.Safe.spawn]. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -bin-annot-cms -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/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -bin-annot-cms -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/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_domain.objs/byte -I lib/.lin_domain.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_domain.objs/byte/lin_domain.cmi -no-alias-deps -o lib/.lin_domain.objs/native/lin_domain.cmx -c -impl lib/lin_domain.ml) - File "lib/lin_domain.ml", line 22, characters 15-27: - 22 | let dom1 = Domain.spawn (main cmds1) in - ^^^^^^^^^^^^ - Alert do_not_spawn_domains: Stdlib.Domain.spawn - User programs should never spawn domains. To execute a function on a domain, use [Multicore] from the threading library. This is because spawning more than [recommended_domain_count] domains (the CPU core count) will significantly degrade GC performance. Using both [Domain.spawn] and [Multicore] can cause [Multicore] to abort. - - File "lib/lin_domain.ml", line 22, characters 15-27: - 22 | let dom1 = Domain.spawn (main cmds1) in - ^^^^^^^^^^^^ - Alert unsafe_multidomain: Stdlib.Domain.spawn - Use [Domain.Safe.spawn]. - - File "lib/lin_domain.ml", line 23, characters 15-27: - 23 | let dom2 = Domain.spawn (main cmds2) in - ^^^^^^^^^^^^ - Alert do_not_spawn_domains: Stdlib.Domain.spawn - User programs should never spawn domains. To execute a function on a domain, use [Multicore] from the threading library. This is because spawning more than [recommended_domain_count] domains (the CPU core count) will significantly degrade GC performance. Using both [Domain.spawn] and [Multicore] can cause [Multicore] to abort. - - File "lib/lin_domain.ml", line 23, characters 15-27: - 23 | let dom2 = Domain.spawn (main cmds2) in - ^^^^^^^^^^^^ - Alert unsafe_multidomain: Stdlib.Domain.spawn - Use [Domain.Safe.spawn]. - (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.10 -> installed qcheck-lin.0.10 === STDERR === 2026-10-01 23:40.55: OK: build qcheck-lin.0.10 (runc: 7.1s, disk: 22KB) 2026-10-01 23:40.55: Job succeeded