Build:
- 0
2026-06-16 11:50.30: New job: build ocaml-sat-solvers.0.8 (01adcaa53396) 2026-06-16 11:50.30: Waiting for resource in pool day11-builds 2026-06-16 12:14.36: Got resource from pool day11-builds 2026-06-16 12:14.36: [profile full] build ocaml-sat-solvers.0.8 2026-06-16 12:14.36: build ocaml-sat-solvers.0.8 (01adcaa53396) === DEPENDENCIES (7 transitive) === base-threads.base b7164ff76afe base-unix.base 839dc585f12d dune.3.23.1 5402470d931c minisat.0.6 55ed245a3bcf ocaml.4.14.4 cb826ea44eb2 ocaml-base-compiler.4.14.4 d2f775f983d7 ocaml-config.2 669e0fcf9e4d === STDOUT === Processing: [default: loading data] [ocaml-sat-solvers.0.8: dl] [ocaml-sat-solvers.0.8: extract] -> retrieved ocaml-sat-solvers.0.8 (https://opam.ocaml.org/cache) [ocaml-sat-solvers: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "ocaml-sat-solvers" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/ocaml-sat-solvers.0.8) -> compiled ocaml-sat-solvers.0.8 -> installed ocaml-sat-solvers.0.8 === STDERR === 2026-06-16 12:14.50: OK: build ocaml-sat-solvers.0.8 (runc: 3.6s, disk: 5KB) 2026-06-16 12:14.50: Job succeeded