Build:
- 0
2026-06-16 11:53.47: New job: build safa.1.4 (2b62e735c853) 2026-06-16 11:53.47: Waiting for resource in pool day11-builds 2026-06-16 12:22.16: Got resource from pool day11-builds 2026-06-16 12:22.16: [profile full] build safa.1.4 2026-06-16 12:22.16: build safa.1.4 (2b62e735c853) === DEPENDENCIES (6 transitive) === ocaml.5.4.1 708fed352b2a ocaml-base-compiler.5.4.1 89b85703f841 ocaml-compiler.5.4.1 a719b8419b8e ocaml-config.3 aa27f63940d8 ocamlbuild.0.16.1 069fc1e567af ocamlfind.1.9.8 5cfa73ef65e7 === STDOUT === Processing: [default: loading data] [safa.1.4: dl] [safa.1.4: extract] -> retrieved safa.1.4 (https://opam.ocaml.org/cache) [safa: make] + /usr/bin/make (CWD=/home/opam/.opam/default/.opam-switch/build/safa.1.4) - ocamlbuild safa.cma - + /home/opam/.opam/default/bin/ocamlc.opt -config - + /home/opam/.opam/default/bin/ocamldep.opt -modules hashcons.mli > hashcons.mli.depends - + /home/opam/.opam/default/bin/ocamlc.opt -c -o hashcons.cmi hashcons.mli - + /home/opam/.opam/default/bin/ocamldep.opt -modules hashcons.ml > hashcons.ml.depends - + /home/opam/.opam/default/bin/ocamldep.opt -modules hset.mli > hset.mli.depends - + /home/opam/.opam/default/bin/ocamlc.opt -c -o hset.cmi hset.mli - + /home/opam/.opam/default/bin/ocamldep.opt -modules hset.ml > hset.ml.depends - + /home/opam/.opam/default/bin/ocamldep.opt -modules hmap.mli > hmap.mli.depends - + /home/opam/.opam/default/bin/ocamlc.opt -c -o hmap.cmi hmap.mli - + /home/opam/.opam/default/bin/ocamldep.opt -modules hmap.ml > hmap.ml.depends - + /home/opam/.opam/default/bin/ocamldep.opt -modules sets.mli > sets.mli.depends - + /home/opam/.opam/default/bin/ocamlc.opt -c -o sets.cmi sets.mli - + /home/opam/.opam/default/bin/ocamldep.opt -modules sets.ml > sets.ml.depends - + /home/opam/.opam/default/bin/ocamldep.opt -modules common.mli > common.mli.depends - + /home/opam/.opam/default/bin/ocamlc.opt -c -o common.cmi common.mli - + /home/opam/.opam/default/bin/ocamldep.opt -modules common.ml > common.ml.depends - + /home/opam/.opam/default/bin/ocamldep.opt -modules queues.mli > queues.mli.depends - + /home/opam/.opam/default/bin/ocamlc.opt -c -o queues.cmi queues.mli - + /home/opam/.opam/default/bin/ocamldep.opt -modules queues.ml > queues.ml.depends - + /home/opam/.opam/default/bin/ocamldep.opt -modules stats.mli > stats.mli.depends - + /home/opam/.opam/default/bin/ocamlc.opt -c -o stats.cmi stats.mli - + /home/opam/.opam/default/bin/ocamldep.opt -modules stats.ml > stats.ml.depends - + /home/opam/.opam/default/bin/ocamldep.opt -modules trace.mli > trace.mli.depends - + /home/opam/.opam/default/bin/ocamlc.opt -c -o trace.cmi trace.mli - + /home/opam/.opam/default/bin/ocamldep.opt -modules trace.ml > trace.ml.depends - + /home/opam/.opam/default/bin/ocamldep.opt -modules bdd.mli > bdd.mli.depends - + /home/opam/.opam/default/bin/ocamlc.opt -c -o bdd.cmi bdd.mli - + /home/opam/.opam/default/bin/ocamldep.opt -modules bdd.ml > bdd.ml.depends - + /home/opam/.opam/default/bin/ocamldep.opt -modules automata.mli > automata.mli.depends - + /home/opam/.opam/default/bin/ocamlc.opt -c -o automata.cmi automata.mli - + /home/opam/.opam/default/bin/ocamldep.opt -modules automata.ml > automata.ml.depends - + /home/opam/.opam/default/bin/ocamldep.opt -modules determinisation.mli > determinisation.mli.depends - + /home/opam/.opam/default/bin/ocamlc.opt -c -o determinisation.cmi determinisation.mli - + /home/opam/.opam/default/bin/ocamldep.opt -modules determinisation.ml > determinisation.ml.depends - + /home/opam/.opam/default/bin/ocamldep.opt -modules epsilon.mli > epsilon.mli.depends - + /home/opam/.opam/default/bin/ocamlc.opt -c -o epsilon.cmi epsilon.mli - + /home/opam/.opam/default/bin/ocamldep.opt -modules epsilon.ml > epsilon.ml.depends - + /home/opam/.opam/default/bin/ocamldep.opt -modules congruence.mli > congruence.mli.depends - + /home/opam/.opam/default/bin/ocamlc.opt -c -o congruence.cmi congruence.mli - + /home/opam/.opam/default/bin/ocamldep.opt -modules congruence.ml > congruence.ml.depends - + /home/opam/.opam/default/bin/ocamldep.opt -modules safa.mli > safa.mli.depends - + /home/opam/.opam/default/bin/ocamlc.opt -c -o safa.cmi safa.mli - + /home/opam/.opam/default/bin/ocamldep.opt -modules safa.ml > safa.ml.depends - + /home/opam/.opam/default/bin/ocamlc.opt -c -o hashcons.cmo hashcons.ml - + /home/opam/.opam/default/bin/ocamlc.opt -c -o hset.cmo hset.ml - + /home/opam/.opam/default/bin/ocamlc.opt -c -o hmap.cmo hmap.ml - + /home/opam/.opam/default/bin/ocamlc.opt -c -o sets.cmo sets.ml - + /home/opam/.opam/default/bin/ocamlc.opt -c -o common.cmo common.ml - + /home/opam/.opam/default/bin/ocamlc.opt -c -o queues.cmo queues.ml - + /home/opam/.opam/default/bin/ocamlc.opt -c -o stats.cmo stats.ml - + /home/opam/.opam/default/bin/ocamlc.opt -c -o trace.cmo trace.ml - + /home/opam/.opam/default/bin/ocamlc.opt -c -o bdd.cmo bdd.ml - + /home/opam/.opam/default/bin/ocamlc.opt -c -o automata.cmo automata.ml - + /home/opam/.opam/default/bin/ocamlc.opt -c -o determinisation.cmo determinisation.ml - + /home/opam/.opam/default/bin/ocamlc.opt -c -o epsilon.cmo epsilon.ml - + /home/opam/.opam/default/bin/ocamlc.opt -c -o congruence.cmo congruence.ml - + /home/opam/.opam/default/bin/ocamlc.opt -c -o safa.cmo safa.ml - + /home/opam/.opam/default/bin/ocamlc.opt -a hashcons.cmo hset.cmo hmap.cmo sets.cmo common.cmo queues.cmo stats.cmo trace.cmo bdd.cmo automata.cmo determinisation.cmo epsilon.cmo congruence.cmo safa.cmo -o safa.cma - ocamlbuild safa.cmxa - + /home/opam/.opam/default/bin/ocamlc.opt -config - + /home/opam/.opam/default/bin/ocamlopt.opt -c -o hashcons.cmx hashcons.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -c -o hmap.cmx hmap.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -c -o hset.cmx hset.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -c -o sets.cmx sets.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -c -o common.cmx common.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -c -o stats.cmx stats.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -c -o trace.cmx trace.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -c -o bdd.cmx bdd.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -c -o automata.cmx automata.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -c -o congruence.cmx congruence.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -c -o queues.cmx queues.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -c -o determinisation.cmx determinisation.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -c -o epsilon.cmx epsilon.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -c -o safa.cmx safa.ml - + /home/opam/.opam/default/bin/ocamlopt.opt -a hashcons.cmx hset.cmx hmap.cmx sets.cmx common.cmx queues.cmx stats.cmx trace.cmx bdd.cmx automata.cmx determinisation.cmx epsilon.cmx congruence.cmx safa.cmx -o safa.cmxa -> compiled safa.1.4 [safa: make install] + /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/safa.1.4) - ocamlbuild safa.cma - + /home/opam/.opam/default/bin/ocamlc.opt -config - ocamlbuild safa.cmxa - + /home/opam/.opam/default/bin/ocamlc.opt -config - ocamlfind install safa META _build/automata.cmi _build/automata.cmo _build/automata.cmx _build/bdd.cmi _build/bdd.cmo _build/bdd.cmx _build/common.cmi _build/common.cmo _build/common.cmx _build/congruence.cmi _build/congruence.cmo _build/congruence.cmx _build/determinisation.cmi _build/determinisation.cmo _build/determinisation.cmx _build/epsilon.cmi _build/epsilon.cmo _build/epsilon.cmx _build/hashcons.cmi _build/hashcons.cmo _build/hashcons.cmx _build/hmap.cmi _build/hmap.cmo _build/hmap.cmx _build/hset.cmi _build/hset.cmo _build/hset.cmx _build/queues.cmi _build/queues.cmo _build/queues.cmx _build/safa.cma _build/safa.cmi _build/safa.cmo _build/safa.cmx _build/safa.cmxa _build/sets.cmi _build/sets.cmo _build/sets.cmx _build/stats.cmi _build/stats.cmo _build/stats.cmx _build/trace.cmi _build/trace.cmo _build/trace.cmx _build/safa.a _build/automata.o _build/bdd.o _build/common.o _build/congruence.o _build/determinisation.o _build/epsilon.o _build/hashcons.o _build/hmap.o _build/hset.o _build/queues.o _build/safa.o _build/sets.o _build/stats.o _build/trace.o - Installed /home/opam/.opam/default/lib/safa/trace.o - Installed /home/opam/.opam/default/lib/safa/stats.o - Installed /home/opam/.opam/default/lib/safa/sets.o - Installed /home/opam/.opam/default/lib/safa/safa.o - Installed /home/opam/.opam/default/lib/safa/queues.o - Installed /home/opam/.opam/default/lib/safa/hset.o - Installed /home/opam/.opam/default/lib/safa/hmap.o - Installed /home/opam/.opam/default/lib/safa/hashcons.o - Installed /home/opam/.opam/default/lib/safa/epsilon.o - Installed /home/opam/.opam/default/lib/safa/determinisation.o - Installed /home/opam/.opam/default/lib/safa/congruence.o - Installed /home/opam/.opam/default/lib/safa/common.o - Installed /home/opam/.opam/default/lib/safa/bdd.o - Installed /home/opam/.opam/default/lib/safa/automata.o - Installed /home/opam/.opam/default/lib/safa/safa.a - Installed /home/opam/.opam/default/lib/safa/trace.cmx - Installed /home/opam/.opam/default/lib/safa/trace.cmo - Installed /home/opam/.opam/default/lib/safa/trace.cmi - Installed /home/opam/.opam/default/lib/safa/stats.cmx - Installed /home/opam/.opam/default/lib/safa/stats.cmo - Installed /home/opam/.opam/default/lib/safa/stats.cmi - Installed /home/opam/.opam/default/lib/safa/sets.cmx - Installed /home/opam/.opam/default/lib/safa/sets.cmo - Installed /home/opam/.opam/default/lib/safa/sets.cmi - Installed /home/opam/.opam/default/lib/safa/safa.cmxa - Installed /home/opam/.opam/default/lib/safa/safa.cmx - Installed /home/opam/.opam/default/lib/safa/safa.cmo - Installed /home/opam/.opam/default/lib/safa/safa.cmi - Installed /home/opam/.opam/default/lib/safa/safa.cma - Installed /home/opam/.opam/default/lib/safa/queues.cmx - Installed /home/opam/.opam/default/lib/safa/queues.cmo - Installed /home/opam/.opam/default/lib/safa/queues.cmi - Installed /home/opam/.opam/default/lib/safa/hset.cmx - Installed /home/opam/.opam/default/lib/safa/hset.cmo - Installed /home/opam/.opam/default/lib/safa/hset.cmi - Installed /home/opam/.opam/default/lib/safa/hmap.cmx - Installed /home/opam/.opam/default/lib/safa/hmap.cmo - Installed /home/opam/.opam/default/lib/safa/hmap.cmi - Installed /home/opam/.opam/default/lib/safa/hashcons.cmx - Installed /home/opam/.opam/default/lib/safa/hashcons.cmo - Installed /home/opam/.opam/default/lib/safa/hashcons.cmi - Installed /home/opam/.opam/default/lib/safa/epsilon.cmx - Installed /home/opam/.opam/default/lib/safa/epsilon.cmo - Installed /home/opam/.opam/default/lib/safa/epsilon.cmi - Installed /home/opam/.opam/default/lib/safa/determinisation.cmx - Installed /home/opam/.opam/default/lib/safa/determinisation.cmo - Installed /home/opam/.opam/default/lib/safa/determinisation.cmi - Installed /home/opam/.opam/default/lib/safa/congruence.cmx - Installed /home/opam/.opam/default/lib/safa/congruence.cmo - Installed /home/opam/.opam/default/lib/safa/congruence.cmi - Installed /home/opam/.opam/default/lib/safa/common.cmx - Installed /home/opam/.opam/default/lib/safa/common.cmo - Installed /home/opam/.opam/default/lib/safa/common.cmi - Installed /home/opam/.opam/default/lib/safa/bdd.cmx - Installed /home/opam/.opam/default/lib/safa/bdd.cmo - Installed /home/opam/.opam/default/lib/safa/bdd.cmi - Installed /home/opam/.opam/default/lib/safa/automata.cmx - Installed /home/opam/.opam/default/lib/safa/automata.cmo - Installed /home/opam/.opam/default/lib/safa/automata.cmi - Installed /home/opam/.opam/default/lib/safa/META -> installed safa.1.4 === STDERR === 2026-06-16 12:22.27: OK: build safa.1.4 (runc: 4.1s, disk: 15KB) 2026-06-16 12:22.27: Job succeeded