Build #868158 2023-07-23T17:37:26.761030+00:00
# rustc version
rustc 1.73.0-nightly (1d56e3a6d 2023-07-22)
# docs.rs version
docsrs 0.6.0 (84edb415 2023-07-07)
# build log
[INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace/builds/z3-0.12.0/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace/builds/z3-0.12.0/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" "3221225472" "--cpus" "3" "--user" "1001:1001" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:a420fdec406141845121210faa381f8029b0be6d4170deff7c4445a424f67918" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "-Z" "unstable-options" "--config" "build.rustdocflags=[\"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20230722-1.73.0-nightly-1d56e3a6d\", \"--static-root-path\", \"/-/rustdoc.static/\", \"--cap-lints\", \"warn\", \"--disable-per-crate-search\", \"--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" "-j3" "--target" "x86_64-unknown-linux-gnu", kill_on_drop: false }`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] ecaf4a7fbc9e99e964d8f0d73293921904fb3fe1be870b13063294c36f31de3f
[INFO] running `Command { std: "docker" "start" "-a" "ecaf4a7fbc9e99e964d8f0d73293921904fb3fe1be870b13063294c36f31de3f", kill_on_drop: false }`
[INFO] [stderr] warning: Target filter specified, but no targets matched. This is a no-op
[INFO] [stderr] Documenting z3 v0.12.0 (/opt/rustwide/workdir)
[INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.95s
[INFO] running `Command { std: "docker" "inspect" "ecaf4a7fbc9e99e964d8f0d73293921904fb3fe1be870b13063294c36f31de3f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ecaf4a7fbc9e99e964d8f0d73293921904fb3fe1be870b13063294c36f31de3f", kill_on_drop: false }`
[INFO] [stdout] ecaf4a7fbc9e99e964d8f0d73293921904fb3fe1be870b13063294c36f31de3f