Build:
- 0
2026-06-24 11:07.26: New job: build batsat.0.6 (9453f9d4a981)
2026-06-24 11:07.26: Waiting for resource in pool day11-builds
2026-06-24 11:23.40: Got resource from pool day11-builds
2026-06-24 11:23.40: [profile full] build batsat.0.6
2026-06-24 11:23.40: build batsat.0.6 (9453f9d4a981)
=== 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.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 36.20s
-> compiled batsat.0.6
-> installed batsat.0.6
=== STDERR ===
2026-06-24 11:24.53: OK: build batsat.0.6 (runc: 39.2s, disk: 7KB)
2026-06-24 11:24.53: Job succeeded