Build:
- 0
2026-10-07 21:35.52: New job: build qcheck-stm.0.10 (7a6f4a1de824) 2026-10-07 21:35.52: Waiting for resource in pool day11-builds 2026-10-07 21:41.49: Got resource from pool day11-builds 2026-10-07 21:41.49: [profile oxcaml-odoc-master] build qcheck-stm.0.10 2026-10-07 21:41.49: build qcheck-stm.0.10 (7a6f4a1de824) === DEPENDENCIES (12 transitive) === base-domains.base 6298ba527fe9 base-threads.base 464810371b96 base-unix.base 4596d20d2cf7 conf-autoconf.1 8ee1e3913008 conf-which.1 65c43ca119c3 dune.3.22.2+ox a601158acc62 ocaml.5.2.0 b8c350f4f1ad ocaml-config.3 2c72b422dfc3 ocaml-variants.5.2.0+ox 60cb73ac7801 oxcaml-compiler.5.2.0minus39 c47b62237187 qcheck-core.0.91 9f15e16aee31 qcheck-multicoretests-util.0.10 cc3399da81a1 === STDOUT === Processing: [default: loading data] [qcheck-stm.0.10: extract] -> retrieved qcheck-stm.0.10 (cached) [qcheck-stm: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "qcheck-stm" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/qcheck-stm.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/.STM_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/.STM.objs/byte -cmi-file lib/.STM_domain.objs/byte/sTM_domain.cmi -no-alias-deps -o lib/.STM_domain.objs/byte/sTM_domain.cmo -c -impl lib/STM_domain.ml) - File "lib/STM_domain.ml", line 35, characters 15-27: - 35 | 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/STM_domain.ml", line 35, characters 15-27: - 35 | let dom1 = Domain.spawn (main cmds1) in - ^^^^^^^^^^^^ - Alert unsafe_multidomain: Stdlib.Domain.spawn - Use [Domain.Safe.spawn]. - - File "lib/STM_domain.ml", line 36, characters 15-27: - 36 | 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/STM_domain.ml", line 36, characters 15-27: - 36 | let dom2 = Domain.spawn (main cmds2) in - ^^^^^^^^^^^^ - Alert unsafe_multidomain: Stdlib.Domain.spawn - Use [Domain.Safe.spawn]. - - File "lib/STM_domain.ml", line 61, characters 6-18: - 61 | Domain.spawn (fun () -> - ^^^^^^^^^^^^ - 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/STM_domain.ml", line 61, characters 6-18: - 61 | Domain.spawn (fun () -> - ^^^^^^^^^^^^ - 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/.STM_domain.objs/byte -I lib/.STM_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/.STM.objs/byte -I lib/.STM.objs/native -cmi-file lib/.STM_domain.objs/byte/sTM_domain.cmi -no-alias-deps -o lib/.STM_domain.objs/native/sTM_domain.cmx -c -impl lib/STM_domain.ml) - File "lib/STM_domain.ml", line 35, characters 15-27: - 35 | 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/STM_domain.ml", line 35, characters 15-27: - 35 | let dom1 = Domain.spawn (main cmds1) in - ^^^^^^^^^^^^ - Alert unsafe_multidomain: Stdlib.Domain.spawn - Use [Domain.Safe.spawn]. - - File "lib/STM_domain.ml", line 36, characters 15-27: - 36 | 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/STM_domain.ml", line 36, characters 15-27: - 36 | let dom2 = Domain.spawn (main cmds2) in - ^^^^^^^^^^^^ - Alert unsafe_multidomain: Stdlib.Domain.spawn - Use [Domain.Safe.spawn]. - - File "lib/STM_domain.ml", line 61, characters 6-18: - 61 | Domain.spawn (fun () -> - ^^^^^^^^^^^^ - 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/STM_domain.ml", line 61, characters 6-18: - 61 | Domain.spawn (fun () -> - ^^^^^^^^^^^^ - Alert unsafe_multidomain: Stdlib.Domain.spawn - Use [Domain.Safe.spawn]. -> compiled qcheck-stm.0.10 -> installed qcheck-stm.0.10 === STDERR === 2026-10-07 21:42.07: OK: build qcheck-stm.0.10 (runc: 4.7s, disk: 12KB) 2026-10-07 21:42.07: Job succeeded