biodivine-lib-bdd 0.5.17

A simple thread-safe implementation of basic binary decision diagrams.
Documentation
Build #1220787 2024-05-15T14:49:01.185815+00:00
# rustc version
rustc 1.80.0-nightly (8387315ab 2024-05-14)
# docs.rs version
docsrs 0.6.0 (7c63657e 2024-05-03)

# build log
[INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace-builder/builds/biodivine-lib-bdd-0.5.17/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace-builder/builds/biodivine-lib-bdd-0.5.17/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:99613afd962a8cfa530ec1899472a458bd015a1ab0af876cf7eb06f6006d81ea" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"--html-in-header\", \"./res/docs-head.html\", \"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20240514-1.80.0-nightly-8387315ab\", \"--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] [stdout] 29bb64e05c037b02db73b53fc1847787c6b64aaeb9d4c145867d40e49c46a359
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "29bb64e05c037b02db73b53fc1847787c6b64aaeb9d4c145867d40e49c46a359", kill_on_drop: false }`
[INFO] [stderr]     Scraping biodivine-lib-bdd v0.5.17 (/opt/rustwide/workdir)
[INFO] [stderr]  Documenting biodivine-lib-bdd v0.5.17 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.83s
[INFO] [stderr]    Generated /opt/rustwide/target/x86_64-unknown-linux-gnu/doc/biodivine_lib_bdd/index.html
[INFO] running `Command { std: "docker" "inspect" "29bb64e05c037b02db73b53fc1847787c6b64aaeb9d4c145867d40e49c46a359", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "29bb64e05c037b02db73b53fc1847787c6b64aaeb9d4c145867d40e49c46a359", kill_on_drop: false }`
[INFO] [stdout] 29bb64e05c037b02db73b53fc1847787c6b64aaeb9d4c145867d40e49c46a359