2026-06-24 14:05.12: New job: build msat-bin.0.8.2 (dfa94f7dfc31)
2026-06-24 14:05.12: Waiting for resource in pool day11-builds
2026-06-24 16:23.15: Got resource from pool day11-builds
2026-06-24 16:23.15: [profile full] build msat-bin.0.8.2
2026-06-24 16:23.15: build msat-bin.0.8.2 (dfa94f7dfc31)
=== DEPENDENCIES (18 transitive) ===
  base-bigarray.base                                 2e16f77d4cae
  base-threads.base                                  c9e7bdbf5823
  base-unix.base                                     7d1428be9ddb
  camlzip.1.14                                       c2782e3aa311
  compiler-cloning.enabled                           439a1fc77aa6
  conf-pkg-config.5                                  d5de2c6a88f9
  conf-zlib.1                                        5297f1b9477f
  containers.3.18                                    9b67317968c0
  csexp.1.5.2                                        977b865a51b4
  dune.3.23.1                                        a59dd9b14fe3
  dune-configurator.3.23.1                           8cec6bb1116c
  either.1.0.0                                       f609e8d13b2e
  iter.1.9                                           a02fedc93acd
  msat.0.8.2                                         77286e78b11b
  ocaml.5.5.0                                        383268832c4b
  ocaml-base-compiler.5.5.0                          522c248944c8
  ocaml-compiler.5.5.0                               eb1a8babf54c
  ocamlfind.1.9.8                                    b506a15fcd6c
=== STDOUT ===
Processing: [default: loading data]
[msat-bin.0.8.2: extract]
-> retrieved msat-bin.0.8.2  (cached)
[msat-bin: dune build]
+ /home/opam/.opam/default/bin/dune "build" "@install" "-p" "msat-bin" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/msat-bin.0.8.2)
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -warn-error -3 -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string -open Msat -g -bin-annot -bin-annot-occurrences -I src/main/.main.eobjs/byte -I /home/opam/.opam/default/lib/camlzip -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/msat -I /home/opam/.opam/default/lib/msat/backend -I /home/opam/.opam/default/lib/msat/sat -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/zip -no-alias-deps -o src/main/.main.eobjs/byte/dimacs_lex.cmo -c -impl src/main/Dimacs_lex.ml)
- File "src/main/Dimacs_lex.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -warn-error -3 -w +a-4-42-44-48-50-58-32-60@8 -color always -safe-string -open Msat -g -bin-annot -bin-annot-occurrences -I src/main/.main.eobjs/byte -I /home/opam/.opam/default/lib/camlzip -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/msat -I /home/opam/.opam/default/lib/msat/backend -I /home/opam/.opam/default/lib/msat/sat -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/zip -no-alias-deps -o src/main/.main.eobjs/byte/main.cmo -c -impl src/main/main.ml)
- File "src/main/main.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
-> compiled  msat-bin.0.8.2
-> installed msat-bin.0.8.2
[WARNING] Opam package conf-zlib.1 depends on the following system package that can no longer be found: zlib1g-dev

=== STDERR ===

2026-06-24 16:23.35: OK: build msat-bin.0.8.2 (runc: 2.6s, disk: 8KB)
2026-06-24 16:23.35: Job succeeded