Build:
- 0
2026-09-28 16:20.37: New job: build yultracer.0.2.0 (7bc6add38bff) 2026-09-28 16:20.37: [profile oxcaml-odoc-master] build yultracer.0.2.0 2026-09-28 16:20.37: build yultracer.0.2.0 (7bc6add38bff) === DEPENDENCIES (21 transitive) === base-threads.base ddcab511c589 base-unix.base 742554e1dbc2 conf-autoconf.1 43fe4a407b7a conf-c++.1.0 43731ce483d0 conf-gmp.5 00570d20295f conf-python-3.9.0.0 2e936c1e0019 conf-which.1 5fccb3a41099 dune.3.22.2+ox 057b1ed5957b menhir.20250912 455eef6e32db menhirCST.20250912 2663825e4a20 menhirLib.20250912 6f6d69b7de0c menhirSdk.20250912 26c8cc32d56f ocaml.5.4.0 74a2c67841c6 ocaml-config.3 d58db97ddfef ocaml-variants.5.4.0+ox 4babdc19da91 ocamlfind.1.9.8+ox 47b14ae6bc12 oxcaml-compiler.5.4.0-ox7 42053eeff39a seq.base a53d1461208b yojson.2.2.2+ox 06ffc9b28b63 z3.5.1.0 321993e84096 zarith.1.12+ox3 7530a50bde9e === STDOUT === Processing: [default: loading data] [yultracer.0.2.0: dl] [yultracer.0.2.0: extract] -> retrieved yultracer.0.2.0 (https://opam.ocaml.org/cache) [yultracer: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "yultracer" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/yultracer.0.2.0) - (cd _build/default && /home/opam/.opam/default/bin/menhir --external-tokens Tokens lib/yul_parser/parser.mly lib/yul_parser/tokens.mly --base lib/yul_parser/parser --infer-write-query lib/yul_parser/parser__mock.ml.mock) - File "lib/yul_parser/tokens.mly", line 9, characters 16-25: - Warning: the token SIGNATURE is unused. - (cd _build/default && /home/opam/.opam/default/bin/menhir --external-tokens Tokens lib/yul_parser/parser.mly lib/yul_parser/tokens.mly --base lib/yul_parser/parser --infer-read-reply lib/yul_parser/parser__mock.mli.inferred) - Warning: one state has reduce/reduce conflicts. - Warning: 19 reduce/reduce conflicts were arbitrarily resolved. - File "lib/yul_parser/parser.mly", line 117, characters 4-51: - Warning: production sig_block -> LBRACE statements RBRACE is never reduced. - Warning: in total, 1 production is never reduced. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -bin-annot-cms -I lib/yul_dialects/evm_shanghai/.evm_shanghai.objs/byte -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/z3 -I /home/opam/.opam/default/lib/zarith -I lib/abi_parser/.abi_parser.objs/byte -I lib/yul_parser/.yul_parser.objs/byte -I lib/yul_semantics/.yul_semantics.objs/byte -no-alias-deps -open Evm_shanghai -o lib/yul_dialects/evm_shanghai/.evm_shanghai.objs/byte/evm_shanghai__Exceptions.cmo -c -impl lib/yul_dialects/evm_shanghai/exceptions.ml) - File "lib/yul_dialects/evm_shanghai/exceptions.ml", line 52, characters 2-27: - 52 | Printexc.register_printer (function - ^^^^^^^^^^^^^^^^^^^^^^^^^ - Alert unsafe_multidomain: Stdlib.Printexc.register_printer - Use [Printexc.Safe.register_printer]. - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I lib/yul_dialects/evm_shanghai/.evm_shanghai.objs/byte -I lib/yul_dialects/evm_shanghai/.evm_shanghai.objs/native -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/z3 -I /home/opam/.opam/default/lib/zarith -I lib/abi_parser/.abi_parser.objs/byte -I lib/abi_parser/.abi_parser.objs/native -I lib/yul_parser/.yul_parser.objs/byte -I lib/yul_parser/.yul_parser.objs/native -I lib/yul_semantics/.yul_semantics.objs/byte -I lib/yul_semantics/.yul_semantics.objs/native -cmi-file lib/yul_dialects/evm_shanghai/.evm_shanghai.objs/byte/evm_shanghai__Exceptions.cmi -no-alias-deps -open Evm_shanghai -o lib/yul_dialects/evm_shanghai/.evm_shanghai.objs/native/evm_shanghai__Exceptions.cmx -c -impl lib/yul_dialects/evm_shanghai/exceptions.ml) - File "lib/yul_dialects/evm_shanghai/exceptions.ml", line 52, characters 2-27: - 52 | Printexc.register_printer (function - ^^^^^^^^^^^^^^^^^^^^^^^^^ - Alert unsafe_multidomain: Stdlib.Printexc.register_printer - Use [Printexc.Safe.register_printer]. -> compiled yultracer.0.2.0 -> installed yultracer.0.2.0 [WARNING] Opam packages conf-gmp.5 and conf-python-3.9.0.0 depend on the following system packages that are no longer installed: libgmp-dev python3 - conf-gmp.5: depends on libgmp-dev - conf-python-3.9.0.0: depends on python3 === STDERR === 2026-09-28 16:20.51: OK: build yultracer.0.2.0 (runc: 13.6s, disk: 10KB) 2026-09-28 16:20.51: Job succeeded