Build failed. If you want to re-trigger a documentation build, you can do it here. You can find more information on docs.rs builds documentation on the builds page.
# error kind ExecutionFailed
# pre-build errors command failed: exit status: 101
# rustc version rustc 1.100.0-nightly (923c95cdf 2026-09-16)
# docs.rs version docsrs 0.0.0 (5779ee8ca2c69daa652b2060f9f7b942ad62a4f0 2026-09-15 )
# build log [INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "DOCS_RS=1" "-w" "/opt/rustwide/workdir" "--user" "1001:1001" "cc00ccb420a27b38757528a756318b0abd67583352aa8e9f2d4bebf8a18b2c40" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--emit=html-non-static-files\", \"--resource-suffix\", \"-20260916-1.100.0-nightly-923c95cdf\", \"--static-root-path\", \"/-/rustdoc.static/\", \"--cap-lints\", \"warn\", \"--extern-html-root-takes-precedence\"]" "--offline" "-Zunstable-options" "--config=doc.extern-map.registries.crates-io=\"https://docs.rs/{pkg_name}/{version}/x86_64-unknown-linux-gnu\"" "-j12" "--target" "x86_64-unknown-linux-gnu" "-Zrustdoc-scrape-examples", kill_on_drop: false }` [INFO] [stderr] warning: `package.homepage` is redundant with `package.repository` [INFO] [stderr] --> Cargo.toml:13:12 [INFO] [stderr] | [INFO] [stderr] 13 | homepage = "https://github.com/ChristianMoesl/btor2tools.rs" [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] ... [INFO] [stderr] 17 | repository = "https://github.com/ChristianMoesl/btor2tools.rs" [INFO] [stderr] | ------------------------------------------------- [INFO] [stderr] | [INFO] [stderr] = note: `cargo::redundant_homepage` is set to `warn` by default [INFO] [stderr] help: consider removing `package.homepage` [INFO] [stderr] warning: `btor2tools` (manifest) generated 1 warning [INFO] [stderr] warning: target filter specified, but no targets matched; this is a no-op [INFO] [stderr] Compiling btor2tools-sys v1.0.0 [INFO] [stderr] error: failed to run custom build command for `btor2tools-sys v1.0.0` [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `/opt/rustwide/target/debug/build/btor2tools-sys/f58984d41f35afb5/out/build_script_build` (exit status: 101) [INFO] [stderr] --- stdout [INFO] [stderr] Configure btor2tools [INFO] [stderr] running cd "/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/btor2tools-sys/993c94c1211ca95b/out/btor2tools-src" && "/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/btor2tools-sys/993c94c1211ca95b/out/btor2tools-src/configure.sh" "--static" [INFO] [stderr] -- Configuring incomplete, errors occurred! [INFO] [stderr] [INFO] [stderr] --- stderr [INFO] [stderr] CMake Error at CMakeLists.txt:1 (cmake_minimum_required): [INFO] [stderr] Compatibility with CMake < 3.5 has been removed from CMake. [INFO] [stderr] [INFO] [stderr] Update the VERSION argument <min> value. Or, use the <min>...<max> syntax [INFO] [stderr] to tell CMake that the project requires at least <min> but has been updated [INFO] [stderr] to work with policies introduced by <max> or earlier. [INFO] [stderr] [INFO] [stderr] Or, add -DCMAKE_POLICY_VERSION_MINIMUM=3.5 to try configuring anyway. [INFO] [stderr] [INFO] [stderr] [INFO] [stderr] [INFO] [stderr] thread 'main' (760) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/btor2tools-sys-1.0.0/build.rs:88:9: [INFO] [stderr] Error: failed to execute cd "/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/btor2tools-sys/993c94c1211ca95b/out/btor2tools-src" && "/opt/rustwide/target/x86_64-unknown-linux-gnu/debug/build/btor2tools-sys/993c94c1211ca95b/out/btor2tools-src/configure.sh" "--static" [INFO] [stderr] note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace [INFO] running `Command { std: "docker" "inspect" "cc00ccb420a27b38757528a756318b0abd67583352aa8e9f2d4bebf8a18b2c40", kill_on_drop: false }`