Build:
- 0
2026-09-03 22:52.23: New job: build pds-reachability.0.2.2 (5328a810b86d) 2026-09-03 22:52.23: Waiting for resource in pool day11-builds 2026-09-03 23:39.54: Got resource from pool day11-builds 2026-09-03 23:39.54: [profile full] build pds-reachability.0.2.2 2026-09-03 23:39.54: build pds-reachability.0.2.2 (5328a810b86d) === DEPENDENCIES (28 transitive) === base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e batteries.3.11.0 406960c0fc70 biniou.1.2.2 7e2471b75e8f camlp-streams.5.0.1 4c58a1da28ba cppo.1.8.0 8b34f9718c9c dune.3.24.2 bf83cdf0a904 easy-format.1.3.4 3a6d5023d2b6 jbuilder.1.0+beta20.2 d14840434490 jhupllib.0.3 3600971486f1 num.1.6 fe036226102b ocaml.4.14.4 c7d6265b51fe ocaml-base-compiler.4.14.4 7a409b6ffbef ocaml-compiler-libs.v0.12.4 0a923ba812db ocaml-config.2 85edea6ac168 ocaml-monadic.0.5 846e57282a0c ocamlbuild.0.16.1 5ae5ab4d19bf ocamlfind.1.9.8 3cae95bed0a0 ounit.2.2.7 41d3bea560da ounit2.2.2.7 160ca7dcdaf6 ppx_derivers.1.2.1 e8685a77fc9e ppx_deriving.6.1.3 6743ea48b5ef ppx_deriving_yojson.3.10.0 cb5ac17d8dc1 ppxlib.0.38.0 4fd127ac1dbb seq.base 1957e27deb9b sexplib0.v0.17.0 17292fd79d80 stdlib-shims.0.3.0 484c72a128b6 yojson.1.7.0 2299915efbe2 === 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-09-03 23:40.17: OK: build pds-reachability.0.2.2 (runc: 7.6s, disk: 24KB) 2026-09-03 23:40.17: Job succeeded