Build:
- 0
2026-10-06 18:08.19: New job: build qcstm.0.1.1 (aa094a525d1a) 2026-10-06 18:08.19: Waiting for resource in pool day11-builds 2026-10-06 18:16.07: Got resource from pool day11-builds 2026-10-06 18:16.07: [profile oxcaml-odoc-master] build qcstm.0.1.1 2026-10-06 18:16.07: build qcstm.0.1.1 (aa094a525d1a) === DEPENDENCIES (17 transitive) === base-threads.base 464810371b96 base-unix.base 4596d20d2cf7 conf-autoconf.1 8ee1e3913008 conf-which.1 65c43ca119c3 dune.3.22.2+ox 9158bd0e098d ocaml.5.2.0 879ae859f814 ocaml-config.3 37112a8040f8 ocaml-variants.5.2.0+ox 8119d9341417 ocamlbuild.0.16.1+ox c3cff747c7d3 ocamlfind.1.9.8+ox 665ae3389aa8 ounit2.2.2.7 d1519c9b9e49 oxcaml-compiler.5.2.0minus39 72925b65bf23 qcheck.0.91 4d7c234a4371 qcheck-core.0.91 bb0f4eebb4b6 qcheck-ounit.0.91 66bb723b65a6 seq.base 4e4fc87282b8 stdlib-shims.0.3.0 dad692a03c41 === STDOUT === Processing: [default: loading data] [qcstm.0.1.1: dl] [qcstm.0.1.1: extract] -> retrieved qcstm.0.1.1 (https://opam.ocaml.org/cache) [qcstm: make all] + /usr/bin/make "all" (CWD=/home/opam/.opam/default/.opam-switch/build/qcstm.0.1.1) - ocamlbuild -use-ocamlfind -package qcheck src/qCSTM.cma - + ocamlfind ocamlc -config - + ocamlfind ocamldep -package qcheck -modules src/qCSTM.ml > src/qCSTM.ml.depends - + ocamlfind ocamlc -c -package qcheck -I src -o src/qCSTM.cmo src/qCSTM.ml - + ocamlfind ocamlc -c -package qcheck -I src -o src/qCSTM.cmo src/qCSTM.ml - File "src/qCSTM.ml", line 95, characters 25-30: - 95 | let consistency_test ?(count=1000) ~name = - ^^^^^ - Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. - - File "src/qCSTM.ml", line 121, characters 19-24: - 121 | let agree_test ?(count=1000) ~name = - ^^^^^ - Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. - + ocamlfind ocamlc -a -package qcheck -I src src/qCSTM.cmo -o src/qCSTM.cma - ocamlbuild -use-ocamlfind -package qcheck src/qCSTM.cmxa - + ocamlfind ocamlc -config - + ocamlfind ocamlopt -c -package qcheck -I src -o src/qCSTM.cmx src/qCSTM.ml - + ocamlfind ocamlopt -c -package qcheck -I src -o src/qCSTM.cmx src/qCSTM.ml - File "src/qCSTM.ml", line 95, characters 25-30: - 95 | let consistency_test ?(count=1000) ~name = - ^^^^^ - Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. - - File "src/qCSTM.ml", line 121, characters 19-24: - 121 | let agree_test ?(count=1000) ~name = - ^^^^^ - Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. - + ocamlfind ocamlopt -a -package qcheck -I src src/qCSTM.cmx -o src/qCSTM.cmxa -> compiled qcstm.0.1.1 [qcstm: make install] + /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/qcstm.0.1.1) - ocamlbuild -use-ocamlfind -package qcheck src/qCSTM.cma - + ocamlfind ocamlc -config - ocamlbuild -use-ocamlfind -package qcheck src/qCSTM.cmxa - + ocamlfind ocamlc -config - ocamlfind install qcstm META _build/src/qCSTM.cmi _build/src/qCSTM.cma _build/src/qCSTM.cmxa _build/src/qCSTM.a _build/src/qCSTM.cmo _build/src/qCSTM.cmx _build/src/qCSTM.o - Installed /home/opam/.opam/default/lib/qcstm/qCSTM.o - Installed /home/opam/.opam/default/lib/qcstm/qCSTM.cmx - Installed /home/opam/.opam/default/lib/qcstm/qCSTM.cmo - Installed /home/opam/.opam/default/lib/qcstm/qCSTM.a - Installed /home/opam/.opam/default/lib/qcstm/qCSTM.cmxa - Installed /home/opam/.opam/default/lib/qcstm/qCSTM.cma - Installed /home/opam/.opam/default/lib/qcstm/qCSTM.cmi - Installed /home/opam/.opam/default/lib/qcstm/META -> installed qcstm.0.1.1 === STDERR === 2026-10-06 18:16.25: OK: build qcstm.0.1.1 (runc: 3.3s, disk: 9KB) 2026-10-06 18:16.25: Job succeeded