paralegal-flow 0.0.0

Placeholder crate for the Paralegal verifier. See <https://github.com/brownsys/paralegal>.
Documentation
Build #1670542 2025-01-25T19:33:40.130581+00:00
# rustc version
rustc 1.86.0-nightly (1e9b0177d 2025-01-24)# docs.rs version
docsrs 0.6.0 (29a0e81b 2025-01-22)# build log
[INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace-builder/builds/paralegal-flow-0.0.0/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace-builder/builds/paralegal-flow-0.0.0/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:c80049f3b88b82089a44e0f06d0d6029d44b96b7257e55a1cd63dbc9f4c33334" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20250124-1.86.0-nightly-1e9b0177d\", \"--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] b4de20c8f9096a48eb95728eb0b510f564354eab33ddabd1d75aa3d2082c7b7b
[INFO] running `Command { std: "docker" "start" "-a" "b4de20c8f9096a48eb95728eb0b510f564354eab33ddabd1d75aa3d2082c7b7b", kill_on_drop: false }`
[INFO] [stderr] warning: target filter specified, but no targets matched; this is a no-op
[INFO] [stderr]  Documenting paralegal-flow v0.0.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.27s
[INFO] [stderr]    Generated /opt/rustwide/target/x86_64-unknown-linux-gnu/doc/paralegal_flow/index.html
[INFO] running `Command { std: "docker" "inspect" "b4de20c8f9096a48eb95728eb0b510f564354eab33ddabd1d75aa3d2082c7b7b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b4de20c8f9096a48eb95728eb0b510f564354eab33ddabd1d75aa3d2082c7b7b", kill_on_drop: false }`
[INFO] [stdout] b4de20c8f9096a48eb95728eb0b510f564354eab33ddabd1d75aa3d2082c7b7b