Build:
- 0
2026-06-24 11:07.25: New job: build batsat.0.7 (978bb1d27c62) 2026-06-24 11:07.25: Waiting for resource in pool day11-builds 2026-06-24 11:23.19: Got resource from pool day11-builds 2026-06-24 11:23.19: [profile full] build batsat.0.7 2026-06-24 11:23.19: build batsat.0.7 (978bb1d27c62) === DEPENDENCIES (7 transitive) === base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb conf-rust-2018.1 fb534dd2d60b dune.3.23.1 848a72441e15 ocaml.4.14.4 b047fb9251f4 ocaml-base-compiler.4.14.4 d3b7ccb2c6fb ocaml-config.2 2d9c209f5590 === 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 chlorine v1.0.10 - Compiling ocaml-interop v0.8.7 - Compiling static_assertions v1.1.0 - Compiling bit-vec v0.5.1 - Compiling quote v1.0.10 - Compiling batsat v0.5.0 - Compiling ocaml-boxroot-sys v0.2.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 41.57s [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-24 11:24.33: OK: build batsat.0.7 (runc: 45.6s, disk: 6KB) 2026-06-24 11:24.33: Job succeeded