Build:
- 0
2026-06-16 12:27.01: New job: build ocaml-sat-solvers.0.8 (a964e7941e9c) 2026-06-16 12:27.01: Waiting for resource in pool day11-builds 2026-06-16 13:55.01: Got resource from pool day11-builds 2026-06-16 13:55.01: [profile full] build ocaml-sat-solvers.0.8 2026-06-16 13:55.01: build ocaml-sat-solvers.0.8 (a964e7941e9c) === DEPENDENCIES (8 transitive) === base-threads.base b7164ff76afe base-unix.base 839dc585f12d dune.3.23.1 d50060dd2cab minisat.0.6 cb703c70ec88 ocaml.5.4.1 708fed352b2a ocaml-base-compiler.5.4.1 89b85703f841 ocaml-compiler.5.4.1 a719b8419b8e ocaml-config.3 aa27f63940d8 === 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 13:55.22: OK: build ocaml-sat-solvers.0.8 (runc: 3.6s, disk: 5KB) 2026-06-16 13:55.22: Job succeeded