Build:
- 0
2026-10-01 23:34.47: New job: build qcheck-stm.0.10 (57a5541302fa) 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-stm.0.10 2026-10-01 23:40.35: build qcheck-stm.0.10 (57a5541302fa) === 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-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-01 23:40.55: OK: build qcheck-stm.0.10 (runc: 7.1s, disk: 12KB) 2026-10-01 23:40.55: Job succeeded