# rustc version rustc 1.88.0-nightly (d6a325d93 2025-05-03)
# docs.rs version docsrs 0.6.0 (ee9a3fe6 2025-03-28)
# build log [INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace-builder/builds/formality-core-0.1.1/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace-builder/builds/formality-core-0.1.1/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:b0b074c097205a61b89e8ad263052f976b2b332c4dc5f02aef1fe52501660d6e" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "--config" "build.rustdocflags=[\"--cfg\", \"docsrs\", \"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20250503-1.88.0-nightly-d6a325d93\", \"--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] fc9d5107f31a70c8bcf329ac405a153a94a5b337471fd39ec4bc609adbf44a03 [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" "fc9d5107f31a70c8bcf329ac405a153a94a5b337471fd39ec4bc609adbf44a03", kill_on_drop: false }` [INFO] [stderr] warning: target filter specified, but no targets matched; this is a no-op [INFO] [stderr] Documenting formality-core v0.1.1 (/opt/rustwide/workdir) [INFO] [stderr] warning: unresolved link to `crate::term::Term` [INFO] [stderr] --> src/parse.rs:14:38 [INFO] [stderr] | [INFO] [stderr] 14 | /// Trait for parsing a [`Term<L>`](`crate::term::Term`) as input. [INFO] [stderr] | ^^^^^^^^^^^^^^^^^ no item named `Term` in module `term` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(rustdoc::broken_intra_doc_links)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unresolved link to `Binder` [INFO] [stderr] --> src/parse.rs:134:51 [INFO] [stderr] | [INFO] [stderr] 134 | /// Records a single binding, used when parsing [`Binder`]. [INFO] [stderr] | ^^^^^^ no item named `Binder` in scope [INFO] [stderr] | [INFO] [stderr] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]` [INFO] [stderr] [INFO] [stderr] warning: unclosed HTML tag `pat` [INFO] [stderr] --> src/judgment.rs:123:9 [INFO] [stderr] | [INFO] [stderr] 123 | /// * `(<pat> => <binding>) [INFO] [stderr] | ^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(rustdoc::invalid_html_tags)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unclosed HTML tag `binding` [INFO] [stderr] --> src/judgment.rs:123:18 [INFO] [stderr] | [INFO] [stderr] 123 | /// * `(<pat> => <binding>) [INFO] [stderr] | ^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: `crate::term` is both a module and an attribute macro [INFO] [stderr] --> src/lib.rs:75:52 [INFO] [stderr] | [INFO] [stderr] 75 | /// When you use the auto-derives or the [`term`](`crate::term`) macro, they will generate [INFO] [stderr] | ^^^^^^^^^^^ ambiguous link [INFO] [stderr] | [INFO] [stderr] help: to link to the module, prefix with `mod@` [INFO] [stderr] | [INFO] [stderr] 75 | /// When you use the auto-derives or the [`term`](`mod@crate::term`) macro, they will generate [INFO] [stderr] | ++++ [INFO] [stderr] help: to link to the attribute macro, prefix with `macro@` [INFO] [stderr] | [INFO] [stderr] 75 | /// When you use the auto-derives or the [`term`](`macro@crate::term`) macro, they will generate [INFO] [stderr] | ++++++ [INFO] [stderr] [INFO] [stderr] warning: `formality-core` (lib doc) generated 5 warnings [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.63s [INFO] [stderr] Generated /opt/rustwide/target/x86_64-unknown-linux-gnu/doc/formality_core/index.html [INFO] running `Command { std: "docker" "inspect" "fc9d5107f31a70c8bcf329ac405a153a94a5b337471fd39ec4bc609adbf44a03", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "fc9d5107f31a70c8bcf329ac405a153a94a5b337471fd39ec4bc609adbf44a03", kill_on_drop: false }` [INFO] [stdout] fc9d5107f31a70c8bcf329ac405a153a94a5b337471fd39ec4bc609adbf44a03