mmb-parser 0.4.0

A parser for the Metamath Zero binary proof format
Documentation
Build #3574852021-03-04T11:10:49.751186+00:00
# rustc version
rustc 1.52.0-nightly (476acbf1e 2021-03-03)# docs.rs version
docsrs 0.6.0 (4d8ffbe 2021-03-02)# build log
[INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace/builds/mmb-parser-0.4.0/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace/builds/mmb-parser-0.4.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" "2" "--user" "1001:1001" "--network" "none" "rustops/crates-build-env@sha256:f2f6bcd4b43ebee4e173f653a26493129bdb64017c85f916b780ca7fbdbaa79d" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "-Zunstable-options" "--config=doc.extern-map.registries.crates-io=\"https://docs.rs\"" "-j2" "--" "-Z" "unstable-options" "--resource-suffix" "-20210303-1.52.0-nightly-476acbf1e" "--static-root-path" "/" "--cap-lints" "warn" "--disable-per-crate-search", 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] 1e3668ae5138f0ec9783d8a1edff856625e660192aa29a847bb224f19641f64e
[INFO] running `Command { std: "docker" "start" "-a" "1e3668ae5138f0ec9783d8a1edff856625e660192aa29a847bb224f19641f64e", kill_on_drop: false }`
[INFO] [stderr] /opt/crates-build-env/entrypoint.sh: line 7: /etc/hosts: Permission denied
[INFO] [stderr]    Compiling memchr v2.3.4
[INFO] [stderr]    Compiling version_check v0.9.2
[INFO] [stderr]     Checking mmb-types v0.2.0
[INFO] [stderr]    Compiling nom v5.1.2
[INFO] [stderr]  Documenting mmb-parser v0.4.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 5.35s
[INFO] running `Command { std: "docker" "inspect" "1e3668ae5138f0ec9783d8a1edff856625e660192aa29a847bb224f19641f64e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1e3668ae5138f0ec9783d8a1edff856625e660192aa29a847bb224f19641f64e", kill_on_drop: false }`
[INFO] [stdout] 1e3668ae5138f0ec9783d8a1edff856625e660192aa29a847bb224f19641f64e