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.
# error kind ExecutionFailed
# pre-build errors command failed: exit status: 101
# rustc version rustc 1.101.0-nightly (1d81eb4ad 2026-10-07)
# docs.rs version docsrs 0.0.0 (345207b5bd3e08551abe806ac963257c692997f6 2026-10-08 )
# build log [INFO] adding target x86_64-unknown-linux-gnu for toolchain nightly [INFO] running `"rustup" "target" "add" "--toolchain" "nightly" "x86_64-unknown-linux-gnu"` [INFO] [stderr] info: component rust-std is up to date [INFO] running `"docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "DOCS_RS=1" "-w" "/opt/rustwide/workdir" "--user" "1001:1001" "d9d96a25771adb1c52029b3b6b5fefb00f40d4f612ff11ec50764f96fee10a5d" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--emit=html-non-static-files\", \"--resource-suffix\", \"-20261007-1.101.0-nightly-1d81eb4ad\", \"--static-root-path\", \"/-/rustdoc.static/\", \"--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\"" "-j12" "--target" "x86_64-unknown-linux-gnu" "-Zrustdoc-scrape-examples"` [INFO] [stderr] error: no library targets found in package `cora-code` [INFO] running `"docker" "inspect" "d9d96a25771adb1c52029b3b6b5fefb00f40d4f612ff11ec50764f96fee10a5d"`