2026-09-03 17:16.07: New job: build minisat.0.2 (b321448a0d90)
2026-09-03 17:16.07: Waiting for resource in pool day11-builds
2026-09-03 17:35.03: Got resource from pool day11-builds
2026-09-03 17:35.03: [profile full] build minisat.0.2
2026-09-03 17:35.03: build minisat.0.2 (b321448a0d90)
=== DEPENDENCIES (6 transitive) ===
  base-threads.base                                  3d2f2cbc6db2
  base-unix.base                                     3a38ddca6b5e
  dune.1.11.4                                        0641013d1466
  ocaml.4.11.2                                       9044b53bfe17
  ocaml-base-compiler.4.11.2                         d1ed934bdaf0
  ocaml-config.1                                     51b78fd13520
=== 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-09-03 17:35.14: OK: build minisat.0.2 (runc: 3.1s, disk: 5KB)
2026-09-03 17:35.14: Job succeeded