Build:
- 0
2026-06-16 12:22.27: New job: build symkat.1.4 (53d2d20c5617) 2026-06-16 12:22.27: Waiting for resource in pool day11-builds 2026-06-16 13:47.43: Got resource from pool day11-builds 2026-06-16 13:47.43: [profile full] build symkat.1.4 2026-06-16 13:47.43: build symkat.1.4 (53d2d20c5617) === DEPENDENCIES (7 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 safa.1.4 2b62e735c853 === STDOUT === Processing: [default: loading data] [symkat.1.4: dl] [symkat.1.4: extract] -> retrieved symkat.1.4 (https://opam.ocaml.org/cache) [symkat: make] + /usr/bin/make "PREFIX=/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/symkat.1.4) - ocamlbuild -use-ocamlfind -pkg safa symkat.native - + ocamlfind ocamlc -config - + ocamlfind ocamldep -package safa -modules symkat.ml > symkat.ml.depends - + ocamlfind ocamldep -package safa -modules symkat.mli > symkat.mli.depends - + ocamlfind ocamldep -package safa -modules hypotheses.mli > hypotheses.mli.depends - + ocamlfind ocamldep -package safa -modules kat.mli > kat.mli.depends - + ocamlfind ocamlc -c -rectypes -package safa -o kat.cmi kat.mli - + ocamlfind ocamlc -c -rectypes -package safa -o hypotheses.cmi hypotheses.mli - + ocamlfind ocamlc -c -rectypes -package safa -o symkat.cmi symkat.mli - + ocamlfind ocamldep -package safa -modules antimirov.ml > antimirov.ml.depends - + ocamlfind ocamldep -package safa -modules antimirov.mli > antimirov.mli.depends - + ocamlfind ocamlc -c -rectypes -package safa -o antimirov.cmi antimirov.mli - + ocamlfind ocamldep -package safa -modules kat.ml > kat.ml.depends - + ocamlfind ocamlopt -c -rectypes -package safa -o kat.cmx kat.ml - + ocamlfind ocamldep -package safa -modules brzozowski.ml > brzozowski.ml.depends - + ocamlfind ocamldep -package safa -modules brzozowski.mli > brzozowski.mli.depends - + ocamlfind ocamlc -c -rectypes -package safa -o brzozowski.cmi brzozowski.mli - + ocamlfind ocamldep -package safa -modules hypotheses.ml > hypotheses.ml.depends - + ocamlfind ocamldep -package safa -modules ilieYu.ml > ilieYu.ml.depends - + ocamlfind ocamldep -package safa -modules ilieYu.mli > ilieYu.mli.depends - + ocamlfind ocamlc -c -rectypes -package safa -o ilieYu.cmi ilieYu.mli - + ocamlfind ocamldep -package safa -modules parse.ml > parse.ml.depends - + ocamlfind ocamldep -package safa -modules parse.mli > parse.mli.depends - + ocamlfind ocamlc -c -rectypes -package safa -o parse.cmi parse.mli - + /home/opam/.opam/default/bin/ocamllex.opt -q lexer.mll - + ocamlfind ocamldep -package safa -modules lexer.ml > lexer.ml.depends - + /home/opam/.opam/default/bin/ocamlyacc parser.mly - + ocamlfind ocamldep -package safa -modules parser.mli > parser.mli.depends - + ocamlfind ocamlc -c -rectypes -package safa -o parser.cmi parser.mli - + ocamlfind ocamlc -c -rectypes -package safa -o lexer.cmo lexer.ml - + ocamlfind ocamldep -package safa -modules parser.ml > parser.ml.depends - + ocamlfind ocamlopt -c -rectypes -package safa -o hypotheses.cmx hypotheses.ml - + ocamlfind ocamlopt -c -rectypes -package safa -o parser.cmx parser.ml - + ocamlfind ocamlopt -c -rectypes -package safa -o lexer.cmx lexer.ml - + ocamlfind ocamlopt -c -rectypes -package safa -o antimirov.cmx antimirov.ml - + ocamlfind ocamlopt -c -rectypes -package safa -o brzozowski.cmx brzozowski.ml - + ocamlfind ocamlopt -c -rectypes -package safa -o ilieYu.cmx ilieYu.ml - + ocamlfind ocamlopt -c -rectypes -package safa -o parse.cmx parse.ml - + ocamlfind ocamlopt -c -rectypes -package safa -o symkat.cmx symkat.ml - + ocamlfind ocamlopt -c -rectypes -package safa -o symkat.cmx symkat.ml - File "symkat.ml", line 140, characters 17-29: - 140 | print_endline (Trace.render !hk "\"") - ^^^^^^^^^^^^ - Warning 6 [labels-omitted]: labels hk, quote were omitted in the application - of this function. - - File "symkat.ml", line 170, characters 39-51: - 170 | if !trace then Format.printf "%s@." (Trace.render !hk "\""); - ^^^^^^^^^^^^ - Warning 6 [labels-omitted]: labels hk, quote were omitted in the application - of this function. - + ocamlfind ocamlopt -linkpkg -package safa kat.cmx antimirov.cmx brzozowski.cmx hypotheses.cmx ilieYu.cmx parser.cmx lexer.cmx parse.cmx symkat.cmx -o symkat.native -> compiled symkat.1.4 [symkat: make install] + /usr/bin/make "PREFIX=/home/opam/.opam/default" "install" (CWD=/home/opam/.opam/default/.opam-switch/build/symkat.1.4) - ocamlbuild -use-ocamlfind -pkg safa symkat.cma - + ocamlfind ocamlc -config - + ocamlfind ocamlc -c -rectypes -package safa -o symkat.cmo symkat.ml - + ocamlfind ocamlc -c -rectypes -package safa -o symkat.cmo symkat.ml - File "symkat.ml", line 140, characters 17-29: - 140 | print_endline (Trace.render !hk "\"") - ^^^^^^^^^^^^ - Warning 6 [labels-omitted]: labels hk, quote were omitted in the application - of this function. - - File "symkat.ml", line 170, characters 39-51: - 170 | if !trace then Format.printf "%s@." (Trace.render !hk "\""); - ^^^^^^^^^^^^ - Warning 6 [labels-omitted]: labels hk, quote were omitted in the application - of this function. - + ocamlfind ocamlc -c -rectypes -package safa -o antimirov.cmo antimirov.ml - + ocamlfind ocamlc -c -rectypes -package safa -o brzozowski.cmo brzozowski.ml - + ocamlfind ocamlc -c -rectypes -package safa -o hypotheses.cmo hypotheses.ml - + ocamlfind ocamlc -c -rectypes -package safa -o ilieYu.cmo ilieYu.ml - + ocamlfind ocamlc -c -rectypes -package safa -o kat.cmo kat.ml - + ocamlfind ocamlc -c -rectypes -package safa -o parse.cmo parse.ml - + ocamlfind ocamlc -c -rectypes -package safa -o parser.cmo parser.ml - + ocamlfind ocamlc -a -package safa kat.cmo antimirov.cmo brzozowski.cmo hypotheses.cmo ilieYu.cmo parser.cmo lexer.cmo parse.cmo symkat.cmo -o symkat.cma - ocamlbuild -use-ocamlfind -pkg safa symkat.cmxa - + ocamlfind ocamlc -config - + ocamlfind ocamlopt -a -package safa kat.cmx antimirov.cmx brzozowski.cmx hypotheses.cmx ilieYu.cmx parser.cmx lexer.cmx parse.cmx symkat.cmx -o symkat.cmxa - ocamlbuild -use-ocamlfind -pkg safa symkat.native - + ocamlfind ocamlc -config - Installed /home/opam/.opam/default/lib/symkat/symkat.o - Installed /home/opam/.opam/default/lib/symkat/parser.o - Installed /home/opam/.opam/default/lib/symkat/parse.o - Installed /home/opam/.opam/default/lib/symkat/lexer.o - Installed /home/opam/.opam/default/lib/symkat/kat.o - Installed /home/opam/.opam/default/lib/symkat/ilieYu.o - Installed /home/opam/.opam/default/lib/symkat/hypotheses.o - Installed /home/opam/.opam/default/lib/symkat/brzozowski.o - Installed /home/opam/.opam/default/lib/symkat/antimirov.o - Installed /home/opam/.opam/default/lib/symkat/symkat.a - Installed /home/opam/.opam/default/lib/symkat/symkat.cmxa - Installed /home/opam/.opam/default/lib/symkat/symkat.cmx - Installed /home/opam/.opam/default/lib/symkat/symkat.cmo - Installed /home/opam/.opam/default/lib/symkat/symkat.cmi - Installed /home/opam/.opam/default/lib/symkat/symkat.cma - Installed /home/opam/.opam/default/lib/symkat/parser.cmx - Installed /home/opam/.opam/default/lib/symkat/parser.cmo - Installed /home/opam/.opam/default/lib/symkat/parser.cmi - Installed /home/opam/.opam/default/lib/symkat/parse.cmx - Installed /home/opam/.opam/default/lib/symkat/parse.cmo - Installed /home/opam/.opam/default/lib/symkat/parse.cmi - Installed /home/opam/.opam/default/lib/symkat/lexer.cmx - Installed /home/opam/.opam/default/lib/symkat/lexer.cmo - Installed /home/opam/.opam/default/lib/symkat/lexer.cmi - Installed /home/opam/.opam/default/lib/symkat/kat.cmx - Installed /home/opam/.opam/default/lib/symkat/kat.cmo - Installed /home/opam/.opam/default/lib/symkat/kat.cmi - Installed /home/opam/.opam/default/lib/symkat/ilieYu.cmx - Installed /home/opam/.opam/default/lib/symkat/ilieYu.cmo - Installed /home/opam/.opam/default/lib/symkat/ilieYu.cmi - Installed /home/opam/.opam/default/lib/symkat/hypotheses.cmx - Installed /home/opam/.opam/default/lib/symkat/hypotheses.cmo - Installed /home/opam/.opam/default/lib/symkat/hypotheses.cmi - Installed /home/opam/.opam/default/lib/symkat/brzozowski.cmx - Installed /home/opam/.opam/default/lib/symkat/brzozowski.cmo - Installed /home/opam/.opam/default/lib/symkat/brzozowski.cmi - Installed /home/opam/.opam/default/lib/symkat/antimirov.cmx - Installed /home/opam/.opam/default/lib/symkat/antimirov.cmo - Installed /home/opam/.opam/default/lib/symkat/antimirov.cmi - Installed /home/opam/.opam/default/lib/symkat/META - install symkat.native /home/opam/.opam/default/bin/symkat -> installed symkat.1.4 === STDERR === 2026-06-16 13:48.08: OK: build symkat.1.4 (runc: 5.1s, disk: 13KB) 2026-06-16 13:48.08: Job succeeded