vampire_api 0.0.1

Just Another Vampire Api 4 Rust
Documentation

Build #1966167 2025-04-07 12:48:11

# rustc version rustc 1.88.0-nightly (2fa8b11f0 2025-04-06)

# docs.rs version docsrs 0.6.0 (ee9a3fe6 2025-03-28)

# build log [INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace/builds/vampire_api-0.0.1/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace/builds/vampire_api-0.0.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:b0b074c097205a61b89e8ad263052f976b2b332c4dc5f02aef1fe52501660d6e" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20250406-1.88.0-nightly-2fa8b11f0\", \"--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] a159ab239872a3c2f7911bb1974a7e41f6ba9429c42c5499fb8d5d46d6ac183e [INFO] running `Command { std: "docker" "start" "-a" "a159ab239872a3c2f7911bb1974a7e41f6ba9429c42c5499fb8d5d46d6ac183e", kill_on_drop: false }` [INFO] [stderr] warning: unused manifest key: lib.plugin [INFO] [stderr] warning: target filter specified, but no targets matched; this is a no-op [INFO] [stderr] Documenting vampire_api v0.0.1 (/opt/rustwide/workdir) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.32s [INFO] [stderr] warning: the following packages contain code that will be rejected by a future version of Rust: nom v3.2.1 [INFO] [stderr] note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 1` [INFO] [stderr] Generated /opt/rustwide/target/x86_64-unknown-linux-gnu/doc/vampire_api/index.html [INFO] running `Command { std: "docker" "inspect" "a159ab239872a3c2f7911bb1974a7e41f6ba9429c42c5499fb8d5d46d6ac183e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a159ab239872a3c2f7911bb1974a7e41f6ba9429c42c5499fb8d5d46d6ac183e", kill_on_drop: false }` [INFO] [stdout] a159ab239872a3c2f7911bb1974a7e41f6ba9429c42c5499fb8d5d46d6ac183e