2026-06-16 11:40.29: New job: build minisat.0.2 (47e97e504e45)
2026-06-16 11:40.29: Waiting for resource in pool day11-builds
2026-06-16 11:56.55: Got resource from pool day11-builds
2026-06-16 11:56.55: [profile full] build minisat.0.2
2026-06-16 11:56.55: build minisat.0.2 (47e97e504e45)
=== DEPENDENCIES (6 transitive) ===
  base-threads.base                                  b7164ff76afe
  base-unix.base                                     839dc585f12d
  dune.1.11.4                                        29dd7ef124f2
  ocaml.4.11.2                                       82527a3d9959
  ocaml-base-compiler.4.11.2                         853adb80bee7
  ocaml-config.1                                     73dc523c3cc6
=== STDOUT ===
Processing: [default: loading data]
[minisat.0.2: dl]
[minisat.0.2: extract]
-> retrieved minisat.0.2  (https://opam.ocaml.org/cache)
[minisat: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "minisat" (CWD=/home/opam/.opam/default/.opam-switch/build/minisat.0.2)
-       ocamlc src/solver.o
- In file included from solver.c:23:
- solver.c: In function 'clause_new':
- solver.c:273:13: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
-   273 |     assert(((unsigned int)c & 1) == 0);
-       |             ^
-> compiled  minisat.0.2
-> installed minisat.0.2

=== STDERR ===

2026-06-16 11:57.03: OK: build minisat.0.2 (runc: 3.1s, disk: 5KB)
2026-06-16 11:57.03: Job succeeded