Build:
- 0
2026-06-16 11:35.00: New job: build batsat.0.6 (ea88bc0b7989)
2026-06-16 11:35.00: Waiting for resource in pool day11-builds
2026-06-16 11:50.52: Got resource from pool day11-builds
2026-06-16 11:50.52: [profile full] build batsat.0.6
2026-06-16 11:50.52: build batsat.0.6 (ea88bc0b7989)
=== 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.6: dl]
[batsat.0.6: extract]
-> retrieved batsat.0.6 (https://opam.ocaml.org/cache)
[batsat: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "batsat" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/batsat.0.6)
- (cd _build/default && /usr/bin/make CAML_LIB=/home/opam/.opam/default/lib/ocaml build-rust-stubs)
- Compiling proc-macro2 v1.0.12
- Compiling unicode-xid v0.2.0
- Compiling syn v1.0.19
- Compiling ocaml-sys v0.12.2
- Compiling cty v0.2.1
- Compiling bit-vec v0.5.1
- Compiling batsat v0.5.0
- Compiling quote v1.0.4
- Compiling synstructure v0.12.3
- Compiling ocaml-derive v0.12.1
- Compiling ocaml v0.12.3
- Compiling batsat-stubs v0.1.0 (/home/opam/.opam/default/.opam-switch/build/batsat.0.6/_build/default)
- warning: attribute should be applied to an `extern` block with non-Rust ABI
- --> src/lib.rs:4:1
- |
- 4 | #[link(name = "batsat")]
- | ^^^^^^^^^^^^^^^^^^^^^^^^
- 5 | use ocaml::{Pointer, Value};
- | ---------------------------- 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: attribute should be applied to an `extern` block with non-Rust ABI
- --> src/lib.rs:4:1
- |
- 4 | #[link(name = "batsat")]
- | ^^^^^^^^^^^^^^^^^^^^^^^^
- 5 | use ocaml::{Pointer, Value};
- | ------- not an `extern` block
- |
- = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
-
- warning: attribute should be applied to an `extern` block with non-Rust ABI
- --> src/lib.rs:4:1
- |
- 4 | #[link(name = "batsat")]
- | ^^^^^^^^^^^^^^^^^^^^^^^^
- 5 | use ocaml::{Pointer, Value};
- | ----- not an `extern` block
- |
- = 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 3 warnings
- Finished release [optimized + debuginfo] target(s) in 42.80s
-> compiled batsat.0.6
-> installed batsat.0.6
=== STDERR ===
2026-06-16 11:51.42: OK: build batsat.0.6 (runc: 44.6s, disk: 7KB)
2026-06-16 11:51.42: Job succeeded