# rustc version rustc 1.96.0-nightly (1d8897a4e 2026-03-13)
# docs.rs version docsrs 0.0.0 (a68728e7 2026-03-08 )
# build log [INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace-builder4/builds/why2-1.4.12/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace-builder4/builds/why2-1.4.12/source:/opt/rustwide/workdir:ro,Z" "-v" "/home/cratesfyi/workspace-builder4/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/home/cratesfyi/workspace-builder4/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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"--html-in-header\", \"docs-header.html\", \"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20260313-1.96.0-nightly-1d8897a4e\", \"--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: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 373f3515b9f067dd54922f4f71ca006c876d0536b329aab5a1a2f4107d9d4799 [INFO] running `Command { std: "docker" "start" "-a" "373f3515b9f067dd54922f4f71ca006c876d0536b329aab5a1a2f4107d9d4799", kill_on_drop: false }` [INFO] [stderr] warning: target filter specified, but no targets matched; this is a no-op [INFO] [stderr] Documenting why2 v1.4.12 (/opt/rustwide/workdir) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.64s [INFO] [stderr] Generated /opt/rustwide/target/x86_64-unknown-linux-gnu/doc/why2/index.html [INFO] running `Command { std: "docker" "inspect" "373f3515b9f067dd54922f4f71ca006c876d0536b329aab5a1a2f4107d9d4799", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "373f3515b9f067dd54922f4f71ca006c876d0536b329aab5a1a2f4107d9d4799", kill_on_drop: false }` [INFO] [stdout] 373f3515b9f067dd54922f4f71ca006c876d0536b329aab5a1a2f4107d9d4799