Build #1567763 2024-11-28T21:01:57.275461+00:00
# rustc version
rustc 1.85.0-nightly (6b6a867ae 2024-11-27)# docs.rs version
docsrs 0.6.0 (36c721fb 2024-11-06)# build log
[INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace/builds/libcprover_rust-6.4.1/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace/builds/libcprover_rust-6.4.1/source:/opt/rustwide/workdir:ro,Z" "-v" "/home/cratesfyi/workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/home/cratesfyi/workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "DOCS_RS=1" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "6442450944" "--cpus" "6" "--user" "1001:1001" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4a844ea9eb2546a2d2c7022eacef16ef2e8229c7fbb2c7d4d55a9ceca922f72d" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20241127-1.85.0-nightly-6b6a867ae\", \"--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] [stdout] 38640f0ab10907852b08c50916a5993202ae42765a5cb96eb61093e89aa19207
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "38640f0ab10907852b08c50916a5993202ae42765a5cb96eb61093e89aa19207", kill_on_drop: false }`
[INFO] [stderr] warning: target filter specified, but no targets matched; this is a no-op
[INFO] [stderr] Compiling libcprover_rust v6.4.1 (/opt/rustwide/workdir)
[INFO] [stderr] error: failed to run custom build command for `libcprover_rust v6.4.1 (/opt/rustwide/workdir)`
[INFO] [stderr]
[INFO] [stderr] Caused by:
[INFO] [stderr] process didn't exit successfully: `/opt/rustwide/target/debug/build/libcprover_rust-e0dee88d3bcd8cd6/build-script-build` (exit status: 101)
[INFO] [stderr] --- stderr
[INFO] [stderr] thread 'main' panicked at build.rs:67:13:
[INFO] [stderr] Error: Environment variable `CBMC_INCLUDE_DIR' not set.
[INFO] [stderr] Advice: Please set the environment variable `CBMC_INCLUDE_DIR' with the path that contains cprover/api.h on your system.
[INFO] [stderr] note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
[INFO] running `Command { std: "docker" "inspect" "38640f0ab10907852b08c50916a5993202ae42765a5cb96eb61093e89aa19207", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "38640f0ab10907852b08c50916a5993202ae42765a5cb96eb61093e89aa19207", kill_on_drop: false }`
[INFO] [stdout] 38640f0ab10907852b08c50916a5993202ae42765a5cb96eb61093e89aa19207