Build:
- 0
2026-06-20 16:00.12: New job: build symkat.1.4 (011c375c3311) 2026-06-20 16:00.12: Waiting for resource in pool day11-builds 2026-06-20 16:49.35: Got resource from pool day11-builds 2026-06-20 16:49.35: [profile full] build symkat.1.4 2026-06-20 16:49.35: build symkat.1.4 (011c375c3311) === DEPENDENCIES (7 transitive) === compiler-cloning.enabled 0d2606125f88 ocaml.5.5.0 1b4132bddf48 ocaml-base-compiler.5.5.0 1901c3a760c1 ocaml-compiler.5.5.0 5f593a0b4a8c ocamlbuild.0.16.1 b485a4f69c01 ocamlfind.1.9.8 5b46f9d92bbd safa.1.4 fa4006c34fca === 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: [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 safa -modules symkat.ml > symkat.ml.depends - + ocamlfind ocamldep -package safa -modules symkat.mli > symkat.mli.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 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 kat.cmi kat.mli - 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 -rectypes -package safa -o hypotheses.cmi hypotheses.mli - + ocamlfind ocamlc -c -rectypes -package safa -o hypotheses.cmi hypotheses.mli - 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 -rectypes -package safa -o symkat.cmi symkat.mli - + ocamlfind ocamlc -c -rectypes -package safa -o symkat.cmi symkat.mli - 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 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 ocamlc -c -rectypes -package safa -o antimirov.cmi antimirov.mli - 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 safa -modules kat.ml > kat.ml.depends - + ocamlfind ocamlopt -c -rectypes -package safa -o kat.cmx kat.ml - + ocamlfind ocamlopt -c -rectypes -package safa -o kat.cmx kat.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 - + 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 ocamlc -c -rectypes -package safa -o brzozowski.cmi brzozowski.mli - 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 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 ocamlc -c -rectypes -package safa -o ilieYu.cmi ilieYu.mli - 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 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 - + ocamlfind ocamlc -c -rectypes -package safa -o parse.cmi parse.mli - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + /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 parser.cmi parser.mli - 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 -rectypes -package safa -o lexer.cmo lexer.ml - + ocamlfind ocamlc -c -rectypes -package safa -o lexer.cmo lexer.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 - + 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 hypotheses.cmx hypotheses.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 - + ocamlfind ocamlopt -c -rectypes -package safa -o parser.cmx parser.ml - + ocamlfind ocamlopt -c -rectypes -package safa -o parser.cmx parser.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 - + ocamlfind ocamlopt -c -rectypes -package safa -o lexer.cmx lexer.ml - + ocamlfind ocamlopt -c -rectypes -package safa -o lexer.cmx lexer.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 - + ocamlfind ocamlopt -c -rectypes -package safa -o antimirov.cmx antimirov.ml - + ocamlfind ocamlopt -c -rectypes -package safa -o antimirov.cmx antimirov.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 - + ocamlfind ocamlopt -c -rectypes -package safa -o brzozowski.cmx brzozowski.ml - + ocamlfind ocamlopt -c -rectypes -package safa -o brzozowski.cmx brzozowski.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 - + ocamlfind ocamlopt -c -rectypes -package safa -o ilieYu.cmx ilieYu.ml - + ocamlfind ocamlopt -c -rectypes -package safa -o ilieYu.cmx ilieYu.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 - + ocamlfind ocamlopt -c -rectypes -package safa -o parse.cmx parse.ml - + ocamlfind ocamlopt -c -rectypes -package safa -o parse.cmx parse.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 - + ocamlfind ocamlopt -c -rectypes -package safa -o symkat.cmx symkat.ml - + ocamlfind ocamlopt -c -rectypes -package safa -o symkat.cmx symkat.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 "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 - + 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 - 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 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: [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 ocamlc -c -rectypes -package safa -o symkat.cmo symkat.ml - + ocamlfind ocamlc -c -rectypes -package safa -o symkat.cmo symkat.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 "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 antimirov.cmo antimirov.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 - + ocamlfind ocamlc -c -rectypes -package safa -o brzozowski.cmo brzozowski.ml - + ocamlfind ocamlc -c -rectypes -package safa -o brzozowski.cmo brzozowski.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 - + ocamlfind ocamlc -c -rectypes -package safa -o hypotheses.cmo hypotheses.ml - + ocamlfind ocamlc -c -rectypes -package safa -o hypotheses.cmo hypotheses.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 - + ocamlfind ocamlc -c -rectypes -package safa -o ilieYu.cmo ilieYu.ml - + ocamlfind ocamlc -c -rectypes -package safa -o ilieYu.cmo ilieYu.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 - + ocamlfind ocamlc -c -rectypes -package safa -o kat.cmo kat.ml - + ocamlfind ocamlc -c -rectypes -package safa -o kat.cmo kat.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 - + ocamlfind ocamlc -c -rectypes -package safa -o parse.cmo parse.ml - + ocamlfind ocamlc -c -rectypes -package safa -o parse.cmo parse.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 - + ocamlfind ocamlc -c -rectypes -package safa -o parser.cmo parser.ml - + ocamlfind ocamlc -c -rectypes -package safa -o parser.cmo parser.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 - + 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 - + 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 - 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 -pkg safa symkat.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 -a -package safa kat.cmx antimirov.cmx brzozowski.cmx hypotheses.cmx ilieYu.cmx parser.cmx lexer.cmx parse.cmx symkat.cmx -o symkat.cmxa - + 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 - 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 -pkg safa symkat.native - + 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 - 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-20 16:51.03: OK: build symkat.1.4 (runc: 4.6s, disk: 21KB) 2026-06-20 16:51.03: Job succeeded