Build:
- 0
2026-06-24 11:23.10: New job: build ocaml-sat-solvers.0.8 (9e2a617e6dca) 2026-06-24 11:23.10: Waiting for resource in pool day11-builds 2026-06-24 12:10.46: Got resource from pool day11-builds 2026-06-24 12:10.46: [profile full] build ocaml-sat-solvers.0.8 2026-06-24 12:10.46: build ocaml-sat-solvers.0.8 (9e2a617e6dca) === DEPENDENCIES (7 transitive) === base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb dune.3.23.1 848a72441e15 minisat.0.6 8e927438b27b ocaml.4.14.4 b047fb9251f4 ocaml-base-compiler.4.14.4 d3b7ccb2c6fb ocaml-config.2 2d9c209f5590 === 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-24 12:11.13: OK: build ocaml-sat-solvers.0.8 (runc: 2.6s, disk: 5KB) 2026-06-24 12:11.13: Job succeeded