Build:
- 0
2026-06-24 16:18.17: New job: build qcstm.0.1 (70616292abd8) 2026-06-24 16:18.17: Waiting for resource in pool day11-builds 2026-06-24 17:13.06: Got resource from pool day11-builds 2026-06-24 17:13.06: [profile full] build qcstm.0.1 2026-06-24 17:13.06: build qcstm.0.1 (70616292abd8) === DEPENDENCIES (15 transitive) === base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb compiler-cloning.enabled 439a1fc77aa6 dune.3.23.1 a59dd9b14fe3 ocaml.5.5.0 383268832c4b ocaml-base-compiler.5.5.0 522c248944c8 ocaml-compiler.5.5.0 eb1a8babf54c ocamlbuild.0.16.1 e57f00093c6a ocamlfind.1.9.8 b506a15fcd6c ounit2.2.2.7 160e927530cc qcheck.0.91 e3ec55f5e1ab qcheck-core.0.91 c3aec1bce969 qcheck-ounit.0.91 32f8cf04289c seq.base 8e8202906505 stdlib-shims.0.3.0 e7f8a4f187fa === STDOUT === Processing: [default: loading data] [qcstm.0.1: dl] [qcstm.0.1: extract] -> retrieved qcstm.0.1 (https://opam.ocaml.org/cache) [qcstm: make all] + /usr/bin/make "all" (CWD=/home/opam/.opam/default/.opam-switch/build/qcstm.0.1) - ocamlbuild -use-ocamlfind -package qcheck src/qCSTM.cma - + ocamlfind ocamlc -config - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamldep -package qcheck -modules src/qCSTM.ml > src/qCSTM.ml.depends - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + 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 - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - 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 - + ocamlfind ocamlc -a -package qcheck -I src src/qCSTM.cmo -o src/qCSTM.cma - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - ocamlbuild -use-ocamlfind -package qcheck src/qCSTM.cmxa - + ocamlfind ocamlc -config - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + 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 - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - 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 - + ocamlfind ocamlopt -a -package qcheck -I src src/qCSTM.cmx -o src/qCSTM.cmxa - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf -> compiled qcstm.0.1 [qcstm: make install] + /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/qcstm.0.1) - ocamlbuild -use-ocamlfind -package qcheck src/qCSTM.cma - + ocamlfind ocamlc -config - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - ocamlbuild -use-ocamlfind -package qcheck src/qCSTM.cmxa - + ocamlfind ocamlc -config - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - ocamlfind install qcstm META _build/src/qCSTM.cmi _build/src/qCSTM.cma _build/src/qCSTM.cmxa - 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 === STDERR === 2026-06-24 17:13.31: OK: build qcstm.0.1 (runc: 1.6s, disk: 10KB) 2026-06-24 17:13.31: Job succeeded