Build:
- 0
2026-09-28 15:53.21: New job: build qcheck-stm.0.10 (c83c2ad8b1f8) 2026-09-28 15:53.21: Waiting for resource in pool day11-builds 2026-09-28 15:56.38: Got resource from pool day11-builds 2026-09-28 15:56.38: [profile oxcaml-odoc-master] build qcheck-stm.0.10 2026-09-28 15:56.38: build qcheck-stm.0.10 (c83c2ad8b1f8) === DEPENDENCIES (12 transitive) === base-domains.base bcd760a94474 base-threads.base ddcab511c589 base-unix.base 742554e1dbc2 conf-autoconf.1 43fe4a407b7a conf-which.1 5fccb3a41099 dune.3.22.2+ox 057b1ed5957b ocaml.5.4.0 74a2c67841c6 ocaml-config.3 d58db97ddfef ocaml-variants.5.4.0+ox 4babdc19da91 oxcaml-compiler.5.4.0-ox7 42053eeff39a qcheck-core.0.91 0767974bf646 qcheck-multicoretests-util.0.10 e903cce5d24b === 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-09-28 15:57.05: OK: build qcheck-stm.0.10 (runc: 8.1s, disk: 12KB) 2026-09-28 15:57.05: Job succeeded