lambda_mountain 1.16.40

Typed Macro Assembler (backed by Coq proofs-of-correctness)
Documentation
Build #2368854 2025-08-01 10:44:05

# rustc version rustc 1.90.0-nightly (adcb3d3b4 2025-07-31)

# docs.rs version docsrs 0.6.0 (e18d034e 2025-07-29)

# build log [INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace-builder/builds/lambda_mountain-1.16.40/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace-builder/builds/lambda_mountain-1.16.40/source:/opt/rustwide/workdir:ro,Z" "-v" "/home/cratesfyi/workspace-builder/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/home/cratesfyi/workspace-builder/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:cf8efcab8866f2cf4285301c7418e2f4f2a9b088c91ba69c40d5b659f81557f7" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20250731-1.90.0-nightly-adcb3d3b4\", \"--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] 877c2851cb117da9c0b6539777ab5367b39e5968b0d766362692801a0757839b [INFO] running `Command { std: "docker" "start" "-a" "877c2851cb117da9c0b6539777ab5367b39e5968b0d766362692801a0757839b", kill_on_drop: false }` [INFO] [stderr] warning: target filter specified, but no targets matched; this is a no-op [INFO] [stderr] Documenting lambda_mountain v1.16.40 (/opt/rustwide/workdir) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.31s [INFO] [stderr] Generated /opt/rustwide/target/x86_64-unknown-linux-gnu/doc/lambda_mountain/index.html [INFO] running `Command { std: "docker" "inspect" "877c2851cb117da9c0b6539777ab5367b39e5968b0d766362692801a0757839b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "877c2851cb117da9c0b6539777ab5367b39e5968b0d766362692801a0757839b", kill_on_drop: false }` [INFO] [stdout] 877c2851cb117da9c0b6539777ab5367b39e5968b0d766362692801a0757839b