Build:
- 1
- 0
2026-09-03 17:15.07: New job: build batsat.0.7 (e7c69d310ca9) 2026-09-03 17:15.07: Waiting for resource in pool day11-builds 2026-09-03 17:32.43: Got resource from pool day11-builds 2026-09-03 17:32.43: [profile full] build batsat.0.7 2026-09-03 17:32.43: build batsat.0.7 (e7c69d310ca9) === DEPENDENCIES (7 transitive) === base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e conf-rust-2018.1 c8c4f6ae72b8 dune.3.24.2 bf83cdf0a904 ocaml.4.14.4 c7d6265b51fe ocaml-base-compiler.4.14.4 7a409b6ffbef ocaml-config.2 85edea6ac168 === 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: unexpected `cfg` condition value: `no-std` - --> src/lib.rs:95:1 - | - 95 | #[ocaml::func] - | ^^^^^^^^^^^^^^ - | - = note: no expected values for `feature` - = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate - = help: try referring to `ocaml::body` crate for guidance on how handle this unexpected cfg - = help: the macro `ocaml::body` may come from an old version of the `ocaml` crate, try updating your dependency with `cargo update -p ocaml` - = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration - = note: `#[warn(unexpected_cfgs)]` on by default - = note: this warning originates in the macro `ocaml::body` which comes from the expansion of the attribute macro `ocaml::func` (in Nightly builds, run with -Z macro-backtrace for more info) - - warning: unexpected `cfg` condition value: `no-std` - --> src/lib.rs:101:1 - | - 101 | #[ocaml::func] - | ^^^^^^^^^^^^^^ - | - = note: no expected values for `feature` - = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate - = help: try referring to `ocaml::body` crate for guidance on how handle this unexpected cfg - = help: the macro `ocaml::body` may come from an old version of the `ocaml` crate, try updating your dependency with `cargo update -p ocaml` - = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration - = note: this warning originates in the macro `ocaml::body` which comes from the expansion of the attribute macro `ocaml::func` (in Nightly builds, run with -Z macro-backtrace for more info) - - warning: unexpected `cfg` condition value: `no-std` - --> src/lib.rs:107:1 - | - 107 | #[ocaml::func] - | ^^^^^^^^^^^^^^ - | - = note: no expected values for `feature` - = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate - = help: try referring to `ocaml::body` crate for guidance on how handle this unexpected cfg - = help: the macro `ocaml::body` may come from an old version of the `ocaml` crate, try updating your dependency with `cargo update -p ocaml` - = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration - = note: this warning originates in the macro `ocaml::body` which comes from the expansion of the attribute macro `ocaml::func` (in Nightly builds, run with -Z macro-backtrace for more info) - - warning: unexpected `cfg` condition value: `no-std` - --> src/lib.rs:127:1 - | - 127 | #[ocaml::func] - | ^^^^^^^^^^^^^^ - | - = note: no expected values for `feature` - = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate - = help: try referring to `ocaml::body` crate for guidance on how handle this unexpected cfg - = help: the macro `ocaml::body` may come from an old version of the `ocaml` crate, try updating your dependency with `cargo update -p ocaml` - = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration - = note: this warning originates in the macro `ocaml::body` which comes from the expansion of the attribute macro `ocaml::func` (in Nightly builds, run with -Z macro-backtrace for more info) - - warning: unexpected `cfg` condition value: `no-std` - --> src/lib.rs:135:1 - | - 135 | #[ocaml::func] - | ^^^^^^^^^^^^^^ - | - = note: no expected values for `feature` - = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate - = help: try referring to `ocaml::body` crate for guidance on how handle this unexpected cfg - = help: the macro `ocaml::body` may come from an old version of the `ocaml` crate, try updating your dependency with `cargo update -p ocaml` - = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration - = note: this warning originates in the macro `ocaml::body` which comes from the expansion of the attribute macro `ocaml::func` (in Nightly builds, run with -Z macro-backtrace for more info) - - warning: unexpected `cfg` condition value: `no-std` - --> src/lib.rs:152:1 - | - 152 | #[ocaml::func] - | ^^^^^^^^^^^^^^ - | - = note: no expected values for `feature` - = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate - = help: try referring to `ocaml::body` crate for guidance on how handle this unexpected cfg - = help: the macro `ocaml::body` may come from an old version of the `ocaml` crate, try updating your dependency with `cargo update -p ocaml` - = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration - = note: this warning originates in the macro `ocaml::body` which comes from the expansion of the attribute macro `ocaml::func` (in Nightly builds, run with -Z macro-backtrace for more info) - - warning: unexpected `cfg` condition value: `no-std` - --> src/lib.rs:164:1 - | - 164 | #[ocaml::func] - | ^^^^^^^^^^^^^^ - | - = note: no expected values for `feature` - = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate - = help: try referring to `ocaml::body` crate for guidance on how handle this unexpected cfg - = help: the macro `ocaml::body` may come from an old version of the `ocaml` crate, try updating your dependency with `cargo update -p ocaml` - = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration - = note: this warning originates in the macro `ocaml::body` which comes from the expansion of the attribute macro `ocaml::func` (in Nightly builds, run with -Z macro-backtrace for more info) - - warning: unexpected `cfg` condition value: `no-std` - --> src/lib.rs:177:1 - | - 177 | #[ocaml::func] - | ^^^^^^^^^^^^^^ - | - = note: no expected values for `feature` - = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate - = help: try referring to `ocaml::body` crate for guidance on how handle this unexpected cfg - = help: the macro `ocaml::body` may come from an old version of the `ocaml` crate, try updating your dependency with `cargo update -p ocaml` - = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration - = note: this warning originates in the macro `ocaml::body` which comes from the expansion of the attribute macro `ocaml::func` (in Nightly builds, run with -Z macro-backtrace for more info) - - warning: unexpected `cfg` condition value: `no-std` - --> src/lib.rs:192:1 - | - 192 | #[ocaml::func] - | ^^^^^^^^^^^^^^ - | - = note: no expected values for `feature` - = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate - = help: try referring to `ocaml::body` crate for guidance on how handle this unexpected cfg - = help: the macro `ocaml::body` may come from an old version of the `ocaml` crate, try updating your dependency with `cargo update -p ocaml` - = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration - = note: this warning originates in the macro `ocaml::body` which comes from the expansion of the attribute macro `ocaml::func` (in Nightly builds, run with -Z macro-backtrace for more info) - - warning: unexpected `cfg` condition value: `no-std` - --> src/lib.rs:205:1 - | - 205 | #[ocaml::func] - | ^^^^^^^^^^^^^^ - | - = note: no expected values for `feature` - = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate - = help: try referring to `ocaml::body` crate for guidance on how handle this unexpected cfg - = help: the macro `ocaml::body` may come from an old version of the `ocaml` crate, try updating your dependency with `cargo update -p ocaml` - = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration - = note: this warning originates in the macro `ocaml::body` which comes from the expansion of the attribute macro `ocaml::func` (in Nightly builds, run with -Z macro-backtrace for more info) - - warning: unexpected `cfg` condition value: `no-std` - --> src/lib.rs:211:1 - | - 211 | #[ocaml::func] - | ^^^^^^^^^^^^^^ - | - = note: no expected values for `feature` - = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate - = help: try referring to `ocaml::body` crate for guidance on how handle this unexpected cfg - = help: the macro `ocaml::body` may come from an old version of the `ocaml` crate, try updating your dependency with `cargo update -p ocaml` - = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration - = note: this warning originates in the macro `ocaml::body` which comes from the expansion of the attribute macro `ocaml::func` (in Nightly builds, run with -Z macro-backtrace for more info) - - warning: unexpected `cfg` condition value: `no-std` - --> src/lib.rs:217:1 - | - 217 | #[ocaml::func] - | ^^^^^^^^^^^^^^ - | - = note: no expected values for `feature` - = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate - = help: try referring to `ocaml::body` crate for guidance on how handle this unexpected cfg - = help: the macro `ocaml::body` may come from an old version of the `ocaml` crate, try updating your dependency with `cargo update -p ocaml` - = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration - = note: this warning originates in the macro `ocaml::body` which comes from the expansion of the attribute macro `ocaml::func` (in Nightly builds, run with -Z macro-backtrace for more info) - - warning: unexpected `cfg` condition value: `no-std` - --> src/lib.rs:223:1 - | - 223 | #[ocaml::func] - | ^^^^^^^^^^^^^^ - | - = note: no expected values for `feature` - = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate - = help: try referring to `ocaml::body` crate for guidance on how handle this unexpected cfg - = help: the macro `ocaml::body` may come from an old version of the `ocaml` crate, try updating your dependency with `cargo update -p ocaml` - = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration - = note: this warning originates in the macro `ocaml::body` which comes from the expansion of the attribute macro `ocaml::func` (in Nightly builds, run with -Z macro-backtrace for more info) - - warning: unexpected `cfg` condition value: `no-std` - --> src/lib.rs:229:1 - | - 229 | #[ocaml::func] - | ^^^^^^^^^^^^^^ - | - = note: no expected values for `feature` - = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate - = help: try referring to `ocaml::body` crate for guidance on how handle this unexpected cfg - = help: the macro `ocaml::body` may come from an old version of the `ocaml` crate, try updating your dependency with `cargo update -p ocaml` - = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration - = note: this warning originates in the macro `ocaml::body` which comes from the expansion of the attribute macro `ocaml::func` (in Nightly builds, run with -Z macro-backtrace for more info) - - warning: unexpected `cfg` condition value: `no-std` - --> src/lib.rs:244:1 - | - 244 | #[ocaml::func] - | ^^^^^^^^^^^^^^ - | - = note: no expected values for `feature` - = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate - = help: try referring to `ocaml::body` crate for guidance on how handle this unexpected cfg - = help: the macro `ocaml::body` may come from an old version of the `ocaml` crate, try updating your dependency with `cargo update -p ocaml` - = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration - = note: this warning originates in the macro `ocaml::body` which comes from the expansion of the attribute macro `ocaml::func` (in Nightly builds, run with -Z macro-backtrace for more info) - - warning: unexpected `cfg` condition value: `no-std` - --> src/lib.rs:250:1 - | - 250 | #[ocaml::func] - | ^^^^^^^^^^^^^^ - | - = note: no expected values for `feature` - = note: using a cfg inside a macro will use the cfgs from the destination crate and not the ones from the defining crate - = help: try referring to `ocaml::body` crate for guidance on how handle this unexpected cfg - = help: the macro `ocaml::body` may come from an old version of the `ocaml` crate, try updating your dependency with `cargo update -p ocaml` - = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration - = note: this warning originates in the macro `ocaml::body` which comes from the expansion of the attribute macro `ocaml::func` (in Nightly builds, run with -Z macro-backtrace for more info) - - 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 - | - = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release! - = note: `#[warn(unused_attributes)]` on by default - - warning: `batsat-stubs` (lib) generated 17 warnings - Finished `release` profile [optimized + debuginfo] target(s) in 43.94s [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-09-03 17:33.49: OK: build batsat.0.7 (runc: 46.7s, disk: 21KB) 2026-09-03 17:33.49: Job succeeded