Build:
- 0
2026-06-16 16:04.46: New job: build pds-reachability.0.2.2 (af246da8a0ce) 2026-06-16 16:04.46: Waiting for resource in pool day11-builds 2026-06-16 16:49.16: Got resource from pool day11-builds 2026-06-16 16:49.16: [profile full] build pds-reachability.0.2.2 2026-06-16 16:49.16: build pds-reachability.0.2.2 (af246da8a0ce) === DEPENDENCIES (28 transitive) === base-threads.base b7164ff76afe base-unix.base 839dc585f12d batteries.3.10.0 8ce9dee731cf biniou.1.2.2 f0e9938fc49f camlp-streams.5.0.1 76b76cc9fe05 cppo.1.8.0 ea583d2d3bbb dune.3.23.1 5402470d931c easy-format.1.3.4 50a1da39581c jbuilder.1.0+beta20.2 ab5ab9884b95 jhupllib.0.3 ccb18f641ee5 num.1.6 480227ca99db ocaml.4.14.4 cb826ea44eb2 ocaml-base-compiler.4.14.4 d2f775f983d7 ocaml-compiler-libs.v0.12.4 d1dd1437b449 ocaml-config.2 669e0fcf9e4d ocaml-monadic.0.5 012486a8324e ocamlbuild.0.16.1 8f6c52e6fce8 ocamlfind.1.9.8 6025f4a8e98e ounit.2.2.7 40a233c99b04 ounit2.2.2.7 5914c9ed8da1 ppx_derivers.1.2.1 441538dbecd1 ppx_deriving.6.1.1 4c7646da994d ppx_deriving_yojson.3.10.0 6592afdae545 ppxlib.0.38.0 a3e9cb715835 seq.base 063828a3d698 sexplib0.v0.17.0 7af37899b3a0 stdlib-shims.0.3.0 e2dd0beb9112 yojson.1.7.0 e2a5a79780c9 === STDOUT === Processing: [default: loading data] [pds-reachability.0.2.2: dl] [pds-reachability.0.2.2: extract] -> retrieved pds-reachability.0.2.2 (https://opam.ocaml.org/cache) [pds-reachability: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "pds-reachability" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/pds-reachability.0.2.2) - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -37 -w -39 -g -bin-annot -I src/pds-reachability/.pds_reachability.objs/byte -I /home/opam/.opam/default/lib/batteries -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/biniou -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/easy-format -I /home/opam/.opam/default/lib/jhupllib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml-compiler-libs/common -I /home/opam/.opam/default/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/default/lib/ocaml-monadic -I /home/opam/.opam/default/lib/ocaml/compiler-libs -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ppx_derivers -I /home/opam/.opam/default/lib/ppx_deriving/api -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppxlib -I /home/opam/.opam/default/lib/ppxlib/ast -I /home/opam/.opam/default/lib/ppxlib/astlib -I /home/opam/.opam/default/lib/ppxlib/print_diff -I /home/opam/.opam/default/lib/ppxlib/stdppx -I /home/opam/.opam/default/lib/ppxlib/traverse_builtins -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yojson -no-alias-deps -o src/pds-reachability/.pds_reachability.objs/byte/pds_reachability_utils.cmo -c -impl src/pds-reachability/pds_reachability_utils.pp.ml) - File "src/pds-reachability/pds_reachability_utils.ml", line 19, characters 23-39: - 19 | val to_yojson : t -> Yojson.Safe.json - ^^^^^^^^^^^^^^^^ - Alert deprecated: Yojson.Safe.json - json types are being renamed and will be removed in the next Yojson major version. Use type t instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -37 -w -39 -g -I src/pds-reachability/.pds_reachability.objs/byte -I src/pds-reachability/.pds_reachability.objs/native -I /home/opam/.opam/default/lib/batteries -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/biniou -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/easy-format -I /home/opam/.opam/default/lib/jhupllib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml-compiler-libs/common -I /home/opam/.opam/default/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/default/lib/ocaml-monadic -I /home/opam/.opam/default/lib/ocaml/compiler-libs -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ppx_derivers -I /home/opam/.opam/default/lib/ppx_deriving/api -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppxlib -I /home/opam/.opam/default/lib/ppxlib/ast -I /home/opam/.opam/default/lib/ppxlib/astlib -I /home/opam/.opam/default/lib/ppxlib/print_diff -I /home/opam/.opam/default/lib/ppxlib/stdppx -I /home/opam/.opam/default/lib/ppxlib/traverse_builtins -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yojson -intf-suffix .ml -no-alias-deps -o src/pds-reachability/.pds_reachability.objs/native/pds_reachability_utils.cmx -c -impl src/pds-reachability/pds_reachability_utils.pp.ml) - File "src/pds-reachability/pds_reachability_utils.ml", line 19, characters 23-39: - 19 | val to_yojson : t -> Yojson.Safe.json - ^^^^^^^^^^^^^^^^ - Alert deprecated: Yojson.Safe.json - json types are being renamed and will be removed in the next Yojson major version. Use type t instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -37 -w -39 -g -bin-annot -I src/pds-reachability/.pds_reachability.objs/byte -I /home/opam/.opam/default/lib/batteries -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/biniou -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/easy-format -I /home/opam/.opam/default/lib/jhupllib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml-compiler-libs/common -I /home/opam/.opam/default/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/default/lib/ocaml-monadic -I /home/opam/.opam/default/lib/ocaml/compiler-libs -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ppx_derivers -I /home/opam/.opam/default/lib/ppx_deriving/api -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppxlib -I /home/opam/.opam/default/lib/ppxlib/ast -I /home/opam/.opam/default/lib/ppxlib/astlib -I /home/opam/.opam/default/lib/ppxlib/print_diff -I /home/opam/.opam/default/lib/ppxlib/stdppx -I /home/opam/.opam/default/lib/ppxlib/traverse_builtins -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yojson -no-alias-deps -o src/pds-reachability/.pds_reachability.objs/byte/pds_reachability_work_collection.cmo -c -impl src/pds-reachability/pds_reachability_work_collection.pp.ml) - File "src/pds-reachability/pds_reachability_work_collection.ml", line 55, characters 37-53: - 55 | val to_yojson : work_collection -> Yojson.Safe.json - ^^^^^^^^^^^^^^^^ - Alert deprecated: Yojson.Safe.json - json types are being renamed and will be removed in the next Yojson major version. Use type t instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -37 -w -39 -g -bin-annot -I src/pds-reachability/.pds_reachability.objs/byte -I /home/opam/.opam/default/lib/batteries -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/biniou -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/easy-format -I /home/opam/.opam/default/lib/jhupllib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml-compiler-libs/common -I /home/opam/.opam/default/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/default/lib/ocaml-monadic -I /home/opam/.opam/default/lib/ocaml/compiler-libs -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ppx_derivers -I /home/opam/.opam/default/lib/ppx_deriving/api -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppxlib -I /home/opam/.opam/default/lib/ppxlib/ast -I /home/opam/.opam/default/lib/ppxlib/astlib -I /home/opam/.opam/default/lib/ppxlib/print_diff -I /home/opam/.opam/default/lib/ppxlib/stdppx -I /home/opam/.opam/default/lib/ppxlib/traverse_builtins -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yojson -no-alias-deps -o src/pds-reachability/.pds_reachability.objs/byte/pds_reachability_structure.cmo -c -impl src/pds-reachability/pds_reachability_structure.pp.ml) - File "src/pds-reachability/pds_reachability_structure.ml", line 36, characters 34-50: - 36 | val to_yojson_delta : t -> t -> Yojson.Safe.json - ^^^^^^^^^^^^^^^^ - Alert deprecated: Yojson.Safe.json - json types are being renamed and will be removed in the next Yojson major version. Use type t instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -37 -w -39 -g -I src/pds-reachability/.pds_reachability.objs/byte -I src/pds-reachability/.pds_reachability.objs/native -I /home/opam/.opam/default/lib/batteries -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/biniou -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/easy-format -I /home/opam/.opam/default/lib/jhupllib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml-compiler-libs/common -I /home/opam/.opam/default/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/default/lib/ocaml-monadic -I /home/opam/.opam/default/lib/ocaml/compiler-libs -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ppx_derivers -I /home/opam/.opam/default/lib/ppx_deriving/api -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppxlib -I /home/opam/.opam/default/lib/ppxlib/ast -I /home/opam/.opam/default/lib/ppxlib/astlib -I /home/opam/.opam/default/lib/ppxlib/print_diff -I /home/opam/.opam/default/lib/ppxlib/stdppx -I /home/opam/.opam/default/lib/ppxlib/traverse_builtins -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yojson -intf-suffix .ml -no-alias-deps -o src/pds-reachability/.pds_reachability.objs/native/pds_reachability_work_collection.cmx -c -impl src/pds-reachability/pds_reachability_work_collection.pp.ml) - File "src/pds-reachability/pds_reachability_work_collection.ml", line 55, characters 37-53: - 55 | val to_yojson : work_collection -> Yojson.Safe.json - ^^^^^^^^^^^^^^^^ - Alert deprecated: Yojson.Safe.json - json types are being renamed and will be removed in the next Yojson major version. Use type t instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -w -37 -w -39 -g -bin-annot -I src/pds-reachability/.pds_reachability.objs/byte -I /home/opam/.opam/default/lib/batteries -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/biniou -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/easy-format -I /home/opam/.opam/default/lib/jhupllib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml-compiler-libs/common -I /home/opam/.opam/default/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/default/lib/ocaml-monadic -I /home/opam/.opam/default/lib/ocaml/compiler-libs -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ppx_derivers -I /home/opam/.opam/default/lib/ppx_deriving/api -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppxlib -I /home/opam/.opam/default/lib/ppxlib/ast -I /home/opam/.opam/default/lib/ppxlib/astlib -I /home/opam/.opam/default/lib/ppxlib/print_diff -I /home/opam/.opam/default/lib/ppxlib/stdppx -I /home/opam/.opam/default/lib/ppxlib/traverse_builtins -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yojson -no-alias-deps -o src/pds-reachability/.pds_reachability.objs/byte/pds_reachability_analysis.cmo -c -impl src/pds-reachability/pds_reachability_analysis.pp.ml) - File "src/pds-reachability/pds_reachability_analysis.ml", line 106, characters 32-48: - 106 | val dump_yojson : analysis -> Yojson.Safe.json - ^^^^^^^^^^^^^^^^ - Alert deprecated: Yojson.Safe.json - json types are being renamed and will be removed in the next Yojson major version. Use type t instead - File "src/pds-reachability/pds_reachability_analysis.ml", line 114, characters 50-66: - 114 | val dump_yojson_delta : analysis -> analysis -> Yojson.Safe.json - ^^^^^^^^^^^^^^^^ - Alert deprecated: Yojson.Safe.json - json types are being renamed and will be removed in the next Yojson major version. Use type t instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -37 -w -39 -g -I src/pds-reachability/.pds_reachability.objs/byte -I src/pds-reachability/.pds_reachability.objs/native -I /home/opam/.opam/default/lib/batteries -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/biniou -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/easy-format -I /home/opam/.opam/default/lib/jhupllib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml-compiler-libs/common -I /home/opam/.opam/default/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/default/lib/ocaml-monadic -I /home/opam/.opam/default/lib/ocaml/compiler-libs -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ppx_derivers -I /home/opam/.opam/default/lib/ppx_deriving/api -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppxlib -I /home/opam/.opam/default/lib/ppxlib/ast -I /home/opam/.opam/default/lib/ppxlib/astlib -I /home/opam/.opam/default/lib/ppxlib/print_diff -I /home/opam/.opam/default/lib/ppxlib/stdppx -I /home/opam/.opam/default/lib/ppxlib/traverse_builtins -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yojson -intf-suffix .ml -no-alias-deps -o src/pds-reachability/.pds_reachability.objs/native/pds_reachability_structure.cmx -c -impl src/pds-reachability/pds_reachability_structure.pp.ml) - File "src/pds-reachability/pds_reachability_structure.ml", line 36, characters 34-50: - 36 | val to_yojson_delta : t -> t -> Yojson.Safe.json - ^^^^^^^^^^^^^^^^ - Alert deprecated: Yojson.Safe.json - json types are being renamed and will be removed in the next Yojson major version. Use type t instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -37 -w -39 -g -I src/pds-reachability/.pds_reachability.objs/byte -I src/pds-reachability/.pds_reachability.objs/native -I /home/opam/.opam/default/lib/batteries -I /home/opam/.opam/default/lib/batteries/unthreaded -I /home/opam/.opam/default/lib/biniou -I /home/opam/.opam/default/lib/camlp-streams -I /home/opam/.opam/default/lib/easy-format -I /home/opam/.opam/default/lib/jhupllib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml-compiler-libs/common -I /home/opam/.opam/default/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/default/lib/ocaml-monadic -I /home/opam/.opam/default/lib/ocaml/compiler-libs -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ppx_derivers -I /home/opam/.opam/default/lib/ppx_deriving/api -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppxlib -I /home/opam/.opam/default/lib/ppxlib/ast -I /home/opam/.opam/default/lib/ppxlib/astlib -I /home/opam/.opam/default/lib/ppxlib/print_diff -I /home/opam/.opam/default/lib/ppxlib/stdppx -I /home/opam/.opam/default/lib/ppxlib/traverse_builtins -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/yojson -intf-suffix .ml -no-alias-deps -o src/pds-reachability/.pds_reachability.objs/native/pds_reachability_analysis.cmx -c -impl src/pds-reachability/pds_reachability_analysis.pp.ml) - File "src/pds-reachability/pds_reachability_analysis.ml", line 106, characters 32-48: - 106 | val dump_yojson : analysis -> Yojson.Safe.json - ^^^^^^^^^^^^^^^^ - Alert deprecated: Yojson.Safe.json - json types are being renamed and will be removed in the next Yojson major version. Use type t instead - File "src/pds-reachability/pds_reachability_analysis.ml", line 114, characters 50-66: - 114 | val dump_yojson_delta : analysis -> analysis -> Yojson.Safe.json - ^^^^^^^^^^^^^^^^ - Alert deprecated: Yojson.Safe.json - json types are being renamed and will be removed in the next Yojson major version. Use type t instead -> compiled pds-reachability.0.2.2 -> installed pds-reachability.0.2.2 === STDERR === 2026-06-16 16:49.34: OK: build pds-reachability.0.2.2 (runc: 4.6s, disk: 24KB) 2026-06-16 16:49.34: Job succeeded