2026-06-16 11:35.00: New job: build batsat.0.7 (0b752ea35b97)
2026-06-16 11:35.00: Waiting for resource in pool day11-builds
2026-06-16 11:50.23: Got resource from pool day11-builds
2026-06-16 11:50.23: [profile full] build batsat.0.7
2026-06-16 11:50.23: build batsat.0.7 (0b752ea35b97)
=== DEPENDENCIES (7 transitive) ===
  base-threads.base                                  b7164ff76afe
  base-unix.base                                     839dc585f12d
  conf-rust-2018.1                                   ab5ca06a71ce
  dune.3.23.1                                        5402470d931c
  ocaml.4.14.4                                       cb826ea44eb2
  ocaml-base-compiler.4.14.4                         d2f775f983d7
  ocaml-config.2                                     669e0fcf9e4d
=== STDOUT ===
Processing: [default: loading data]
[batsat.0.7: dl]
[batsat.0.7: extract]
-> retrieved batsat.0.7  (https://opam.ocaml.org/cache)
[batsat: ./build_rust.sh]
+ /home/opam/.opam/default/.opam-switch/build/batsat.0.7/./build_rust.sh  (CWD=/home/opam/.opam/default/.opam-switch/build/batsat.0.7)
-    Compiling proc-macro2 v1.0.32
-    Compiling unicode-xid v0.2.2
-    Compiling cc v1.0.72
-    Compiling syn v1.0.81
-    Compiling ocaml-sys v0.22.0
-    Compiling ocaml-interop v0.8.7
-    Compiling quote v1.0.10
-    Compiling chlorine v1.0.10
-    Compiling static_assertions v1.1.0
-    Compiling bit-vec v0.5.1
-    Compiling ocaml-boxroot-sys v0.2.0
-    Compiling batsat v0.5.0
-    Compiling synstructure v0.12.6
-    Compiling ocaml-derive v0.22.0
-    Compiling ocaml v0.22.2
-    Compiling batsat-stubs v0.1.0 (/home/opam/.opam/default/.opam-switch/build/batsat.0.7)
- warning: attribute should be applied to an `extern` block with non-Rust ABI
-  --> src/lib.rs:1:1
-   |
- 1 | #[link(name = "batsat")]
-   | ^^^^^^^^^^^^^^^^^^^^^^^^
- 2 | use ocaml::Pointer;
-   | ------------------- not an `extern` block
-   |
-   = note: `#[warn(unused_attributes)]` on by default
-   = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
- 
- warning: `batsat-stubs` (lib) generated 1 warning
-     Finished release [optimized + debuginfo] target(s) in 32.47s
[batsat: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "batsat" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/batsat.0.7)
-> compiled  batsat.0.7
-> installed batsat.0.7

=== STDERR ===

2026-06-16 11:51.13: OK: build batsat.0.7 (runc: 34.7s, disk: 6KB)
2026-06-16 11:51.13: Job succeeded