Build:
- 0
2026-06-16 14:24.41: New job: build archetype.0.1.5 (cbc62d529e5d)
2026-06-16 14:24.41: Waiting for resource in pool day11-builds
2026-06-16 16:07.04: Got resource from pool day11-builds
2026-06-16 16:07.04: [profile full] build archetype.0.1.5
2026-06-16 16:07.04: build archetype.0.1.5 (cbc62d529e5d)
=== DEPENDENCIES (24 transitive) ===
base-threads.base b7164ff76afe
base-unix.base 839dc585f12d
cppo.1.8.0 f4ca627a9449
digestif.1.3.0 c205da04466d
dune.3.23.1 9174d78a1f0e
eqaf.0.10 de006d08f3d4
menhir.20250912 e9eea01e0f46
menhirCST.20250912 0b8c5632270c
menhirLib.20250912 5bac2d48d63d
menhirSdk.20250912 64a1dd59c65f
num.1.6 f281926e2d11
ocaml.5.2.1 b36a3a003df3
ocaml-base-compiler.5.2.1 91ea68ae8779
ocaml-compiler-libs.v0.17.0 eb36f3cabdba
ocaml-config.3 291db63d419b
ocamlfind.1.9.8 30fe322203e6
ppx_derivers.1.2.1 561ac31bcf9d
ppx_deriving.5.2.1 44fcbc21abba
ppx_deriving_yojson.3.9.1 872c592f13bc
ppxlib.0.35.0 8698043a7933
result.1.5 74d20bf63a65
sexplib0.v0.17.0 6988405006f1
stdlib-shims.0.3.0 358b380ce61e
yojson.3.0.0 8aed31b56577
=== STDOUT ===
Processing: [default: loading data]
[archetype.0.1.5: dl]
[archetype.0.1.5: extract]
-> retrieved archetype.0.1.5 (https://opam.ocaml.org/cache)
[archetype: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "archetype" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/archetype.0.1.5)
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -rectypes -g -bin-annot -bin-annot-occurrences -I src/.archetype.objs/byte -I /home/opam/.opam/default/lib/digestif -I /home/opam/.opam/default/lib/eqaf -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ppx_deriving -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/yojson -no-alias-deps -open Archetype -o src/.archetype.objs/byte/archetype__Gen_model.cmo -c -impl src/gen_model.pp.ml)
- File "src/gen_model.ml", lines 679-689, characters 4-5:
- 679 | ....{ spec with
- 680 | predicates = spec.predicates @ v.predicates;
- 681 | definitions = spec.definitions @ v.definitions;
- 682 | lemmas = spec.lemmas @ v.lemmas;
- 683 | theorems = spec.theorems @ v.theorems;
- ...
- 686 | effects = spec.effects @ v.effects;
- 687 | postconditions = spec.postconditions @ v.postconditions;
- 688 | loc = Location.merge spec.loc v.loc;
- 689 | }
- Warning 23 [useless-record-with]: all the fields are explicitly listed in this record:
- the 'with' clause is useless.
-
- File "src/gen_model.ml", line 725, characters 4-66:
- 725 | { sec with items = sec.items @ new_s.items; loc = new_s.loc; }
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 23 [useless-record-with]: all the fields are explicitly listed in this record:
- the 'with' clause is useless.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -rectypes -g -I src/.archetype.objs/byte -I src/.archetype.objs/native -I /home/opam/.opam/default/lib/digestif -I /home/opam/.opam/default/lib/eqaf -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ppx_deriving -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/yojson -cmi-file src/.archetype.objs/byte/archetype__Gen_model.cmi -no-alias-deps -open Archetype -o src/.archetype.objs/native/archetype__Gen_model.cmx -c -impl src/gen_model.pp.ml)
- File "src/gen_model.ml", lines 679-689, characters 4-5:
- 679 | ....{ spec with
- 680 | predicates = spec.predicates @ v.predicates;
- 681 | definitions = spec.definitions @ v.definitions;
- 682 | lemmas = spec.lemmas @ v.lemmas;
- 683 | theorems = spec.theorems @ v.theorems;
- ...
- 686 | effects = spec.effects @ v.effects;
- 687 | postconditions = spec.postconditions @ v.postconditions;
- 688 | loc = Location.merge spec.loc v.loc;
- 689 | }
- Warning 23 [useless-record-with]: all the fields are explicitly listed in this record:
- the 'with' clause is useless.
-
- File "src/gen_model.ml", line 725, characters 4-66:
- 725 | { sec with items = sec.items @ new_s.items; loc = new_s.loc; }
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 23 [useless-record-with]: all the fields are explicitly listed in this record:
- the 'with' clause is useless.
-> compiled archetype.0.1.5
-> installed archetype.0.1.5
=== STDERR ===
2026-06-16 16:08.15: OK: build archetype.0.1.5 (runc: 25.1s, disk: 11KB)
2026-06-16 16:08.15: Job succeeded