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.99.0-nightly (d0babd8b6 2026-07-15)
# docs.rs version docsrs 0.0.0 (f1b150f0cd76f7cabcd39e1f4790ba771b28b5c4 2026-07-19 )
# 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" "1e6f29a175f014768624624999e5de93e4381b0dc1b0a8b5cc5166d62648ec18" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2026-07-16" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--emit=html-non-static-files\", \"--resource-suffix\", \"-20260715-1.99.0-nightly-d0babd8b6\", \"--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\"" "-Zrustdoc-scrape-examples" "-j6" "--target" "x86_64-unknown-linux-gnu", kill_on_drop: false }` [INFO] [stderr] warning: target filter specified, but no targets matched; this is a no-op [INFO] [stderr] Compiling z3-sys v0.9.10 [INFO] [stderr] error: failed to run custom build command for `z3-sys v0.9.10` [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `/opt/rustwide/target/debug/build/z3-sys-cca14ad61c094364/build-script-build` (exit status: 101) [INFO] [stderr] --- stdout [INFO] [stderr] cargo:rerun-if-changed=build.rs [INFO] [stderr] cargo:rerun-if-env-changed=Z3_NO_PKG_CONFIG [INFO] [stderr] cargo:rerun-if-env-changed=PKG_CONFIG_x86_64-unknown-linux-gnu [INFO] [stderr] cargo:rerun-if-env-changed=PKG_CONFIG_x86_64_unknown_linux_gnu [INFO] [stderr] cargo:rerun-if-env-changed=HOST_PKG_CONFIG [INFO] [stderr] cargo:rerun-if-env-changed=PKG_CONFIG [INFO] [stderr] cargo:rerun-if-env-changed=Z3_STATIC [INFO] [stderr] cargo:rerun-if-env-changed=Z3_DYNAMIC [INFO] [stderr] cargo:rerun-if-env-changed=PKG_CONFIG_ALL_STATIC [INFO] [stderr] cargo:rerun-if-env-changed=PKG_CONFIG_ALL_DYNAMIC [INFO] [stderr] cargo:rerun-if-env-changed=PKG_CONFIG_PATH_x86_64-unknown-linux-gnu [INFO] [stderr] cargo:rerun-if-env-changed=PKG_CONFIG_PATH_x86_64_unknown_linux_gnu [INFO] [stderr] cargo:rerun-if-env-changed=HOST_PKG_CONFIG_PATH [INFO] [stderr] cargo:rerun-if-env-changed=PKG_CONFIG_PATH [INFO] [stderr] cargo:rerun-if-env-changed=PKG_CONFIG_LIBDIR_x86_64-unknown-linux-gnu [INFO] [stderr] cargo:rerun-if-env-changed=PKG_CONFIG_LIBDIR_x86_64_unknown_linux_gnu [INFO] [stderr] cargo:rerun-if-env-changed=HOST_PKG_CONFIG_LIBDIR [INFO] [stderr] cargo:rerun-if-env-changed=PKG_CONFIG_LIBDIR [INFO] [stderr] cargo:rerun-if-env-changed=PKG_CONFIG_SYSROOT_DIR_x86_64-unknown-linux-gnu [INFO] [stderr] cargo:rerun-if-env-changed=PKG_CONFIG_SYSROOT_DIR_x86_64_unknown_linux_gnu [INFO] [stderr] cargo:rerun-if-env-changed=HOST_PKG_CONFIG_SYSROOT_DIR [INFO] [stderr] cargo:rerun-if-env-changed=PKG_CONFIG_SYSROOT_DIR [INFO] [stderr] cargo:rerun-if-env-changed=Z3_LIBRARY_PATH_OVERRIDE [INFO] [stderr] cargo:rerun-if-env-changed=Z3_SYS_Z3_HEADER [INFO] [stderr] cargo:rerun-if-changed=wrapper.h [INFO] [stderr] cargo:rerun-if-env-changed=CXXSTDLIB [INFO] [stderr] cargo:rustc-link-lib=stdc++ [INFO] [stderr] cargo:rerun-if-env-changed=TARGET [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS_x86_64-unknown-linux-gnu [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS_x86_64_unknown_linux_gnu [INFO] [stderr] cargo:rerun-if-env-changed=BINDGEN_EXTRA_CLANG_ARGS [INFO] [stderr] cargo:rerun-if-changed=wrapper.h [INFO] [stderr] [INFO] [stderr] --- stderr [INFO] [stderr] wrapper.h:1:10: fatal error: 'z3.h' file not found [INFO] [stderr] [INFO] [stderr] thread 'main' (2657) panicked at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/z3-sys-0.9.10/build.rs:320:14: [INFO] [stderr] Unable to generate bindings: ClangDiagnostic("wrapper.h:1:10: fatal error: 'z3.h' file not found\n") [INFO] [stderr] note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace [INFO] running `Command { std: "docker" "inspect" "1e6f29a175f014768624624999e5de93e4381b0dc1b0a8b5cc5166d62648ec18", kill_on_drop: false }`