taco-cli 0.1.0

The Threshold Automata for COnsensus Model Checker (TACO) is a tool to verify distributed algorithms that can be modeled using threshold automata
Build #2836941 2026-01-20 09:34:12

Build failed. If you want to re-trigger a documentation build, you can do it here. You can find more information on docs.rs builds documentation on the builds page.

# rustc version
rustc 1.95.0-nightly (d940e5684 2026-01-19)# docs.rs version
docsrs 0.1.0 (70ee01e6 2026-01-16 )# build log
[INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace/builds/taco-cli-0.1.0/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace/builds/taco-cli-0.1.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" "6442450944" "--cpus" "6" "--user" "1001:1001" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20260119-1.95.0-nightly-d940e5684\", \"--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] a024f43da035612c61431dde642d242d24aac0a5f632ff986b4a3bb7bbe2e4a7
[INFO] running `Command { std: "docker" "start" "-a" "a024f43da035612c61431dde642d242d24aac0a5f632ff986b4a3bb7bbe2e4a7", kill_on_drop: false }`
[INFO] [stderr] error: no library targets found in package `taco-cli`
[INFO] running `Command { std: "docker" "inspect" "a024f43da035612c61431dde642d242d24aac0a5f632ff986b4a3bb7bbe2e4a7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a024f43da035612c61431dde642d242d24aac0a5f632ff986b4a3bb7bbe2e4a7", kill_on_drop: false }`
[INFO] [stdout] a024f43da035612c61431dde642d242d24aac0a5f632ff986b4a3bb7bbe2e4a7