2026-06-24 11:07.25: New job: build minisat.0.2 (a92fd73a37c6)
2026-06-24 11:07.25: Waiting for resource in pool day11-builds
2026-06-24 11:22.04: Got resource from pool day11-builds
2026-06-24 11:22.04: [profile full] build minisat.0.2
2026-06-24 11:22.04: build minisat.0.2 (a92fd73a37c6)
=== DEPENDENCIES (6 transitive) ===
  base-threads.base                                  c9e7bdbf5823
  base-unix.base                                     7d1428be9ddb
  dune.1.11.4                                        306d9076d3e7
  ocaml.4.11.2                                       dc018a4b7397
  ocaml-base-compiler.4.11.2                         81f0dd8b8651
  ocaml-config.1                                     2489653e51e5
=== 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-24 11:22.11: OK: build minisat.0.2 (runc: 3.1s, disk: 5KB)
2026-06-24 11:22.11: Job succeeded