Build #1009794 2023-11-27T00:12:57.825268+00:00
# rustc version
rustc 1.76.0-nightly (f5dc2653f 2023-11-25)# docs.rs version
docsrs 0.6.0 (7f551f6b 2023-11-22)# build log
[INFO] running `Command { std: "docker" "create" "-v" "/home/cratesfyi/workspace-builder/builds/hax-cli-options-0.1.0-pre.1/target:/opt/rustwide/target:rw,Z" "-v" "/home/cratesfyi/workspace-builder/builds/hax-cli-options-0.1.0-pre.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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+nightly" "rustdoc" "--lib" "-Zrustdoc-map" "-Z" "unstable-options" "--config" "build.rustdocflags=[\"-Z\", \"unstable-options\", \"--emit=invocation-specific\", \"--resource-suffix\", \"-20231125-1.76.0-nightly-f5dc2653f\", \"--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] f5977d112688f3185d08c015d34e0dc67cf552042073ef52ca70033252c4062c
[INFO] running `Command { std: "docker" "start" "-a" "f5977d112688f3185d08c015d34e0dc67cf552042073ef52ca70033252c4062c", kill_on_drop: false }`
[INFO] [stderr] warning: Target filter specified, but no targets matched. This is a no-op
[INFO] [stderr] Documenting hax-cli-options v0.1.0-pre.1 (/opt/rustwide/workdir)
[INFO] [stderr] warning: unresolved link to `interactive`
[INFO] [stderr] --> src/lib.rs:210:13
[INFO] [stderr] |
[INFO] [stderr] 210 | /// - [interactive] (or [i]): enables debugging of the engine, and
[INFO] [stderr] | ^^^^^^^^^^^ no item named `interactive` in scope
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stderr] = note: `#[warn(rustdoc::broken_intra_doc_links)]` on by default
[INFO] [stderr]
[INFO] [stderr] warning: unresolved link to `i`
[INFO] [stderr] --> src/lib.rs:210:31
[INFO] [stderr] |
[INFO] [stderr] 210 | /// - [interactive] (or [i]): enables debugging of the engine, and
[INFO] [stderr] | ^ no item named `i` in scope
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: unresolved link to `<FILE>`
[INFO] [stderr] --> src/lib.rs:217:12
[INFO] [stderr] |
[INFO] [stderr] 217 | /// - [<FILE>] or [file:<FILE>]: outputs the different AST as JSON
[INFO] [stderr] | ^^^^^^ missing type for generic parameters
[INFO] [stderr]
[INFO] [stderr] warning: unresolved link to `file:<FILE>`
[INFO] [stderr] --> src/lib.rs:217:24
[INFO] [stderr] |
[INFO] [stderr] 217 | /// - [<FILE>] or [file:<FILE>]: outputs the different AST as JSON
[INFO] [stderr] | ^^^^^^^^^^^ has invalid path separator
[INFO] [stderr]
[INFO] [stderr] warning: unresolved link to `A::B::c`
[INFO] [stderr] --> src/lib.rs:291:56
[INFO] [stderr] |
[INFO] [stderr] 291 | /// invocation. PATTERN denotes a rust path (i.e. [A::B::c]) in
[INFO] [stderr] | ^^^^^^^ no item named `A` in scope
[INFO] [stderr]
[INFO] [stderr] warning: unresolved link to `A::B::C::D::X`
[INFO] [stderr] --> src/lib.rs:294:31
[INFO] [stderr] |
[INFO] [stderr] 294 | /// names. For instance, [A::B::C::D::X] and [A::E::F::D::Y]
[INFO] [stderr] | ^^^^^^^^^^^^^ no item named `A` in scope
[INFO] [stderr]
[INFO] [stderr] warning: unresolved link to `A::E::F::D::Y`
[INFO] [stderr] --> src/lib.rs:294:51
[INFO] [stderr] |
[INFO] [stderr] 294 | /// names. For instance, [A::B::C::D::X] and [A::E::F::D::Y]
[INFO] [stderr] | ^^^^^^^^^^^^^ no item named `A` in scope
[INFO] [stderr]
[INFO] [stderr] warning: unresolved link to `A::**::D::*`
[INFO] [stderr] --> src/lib.rs:295:18
[INFO] [stderr] |
[INFO] [stderr] 295 | /// matches [A::**::D::*].
[INFO] [stderr] | ^^^^^^^^^^^ no item named `A` in scope
[INFO] [stderr]
[INFO] [stderr] warning: unresolved link to `foo`
[INFO] [stderr] --> src/lib.rs:311:31
[INFO] [stderr] |
[INFO] [stderr] 311 | /// program on a package [foo], use [-C -p foo ;]. (make sure
[INFO] [stderr] | ^^^ no item named `foo` in scope
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: unresolved link to `;`
[INFO] [stderr] --> src/lib.rs:312:20
[INFO] [stderr] |
[INFO] [stderr] 312 | /// to escape [;] correctly in your shell)
[INFO] [stderr] | ^ no item named `;` in scope
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: unresolved link to `cargo`
[INFO] [stderr] --> src/lib.rs:319:10
[INFO] [stderr] |
[INFO] [stderr] 319 | /// [cargo] caching is disabled by default, this flag enables it back.
[INFO] [stderr] | ^^^^^ no item named `cargo` in scope
[INFO] [stderr] |
[INFO] [stderr] = help: to escape `[` and `]` characters, add '\' before them like `\[` or `\]`
[INFO] [stderr]
[INFO] [stderr] warning: unclosed HTML tag `FILE`
[INFO] [stderr] --> src/lib.rs:217:12
[INFO] [stderr] |
[INFO] [stderr] 217 | /// - [<FILE>] or [file:<FILE>]: outputs the different AST as JSON
[INFO] [stderr] | ^^^^^^
[INFO] [stderr] |
[INFO] [stderr] = note: `#[warn(rustdoc::invalid_html_tags)]` on by default
[INFO] [stderr]
[INFO] [stderr] warning: unclosed HTML tag `FILE`
[INFO] [stderr] --> src/lib.rs:217:29
[INFO] [stderr] |
[INFO] [stderr] 217 | /// - [<FILE>] or [file:<FILE>]: outputs the different AST as JSON
[INFO] [stderr] | ^^^^^^
[INFO] [stderr]
[INFO] [stderr] warning: unclosed HTML tag `FILE`
[INFO] [stderr] --> src/lib.rs:218:12
[INFO] [stderr] |
[INFO] [stderr] 218 | /// to <FILE>. <FILE> can be either [-] or a path.
[INFO] [stderr] | ^^^^^^
[INFO] [stderr]
[INFO] [stderr] warning: unclosed HTML tag `FILE`
[INFO] [stderr] --> src/lib.rs:218:20
[INFO] [stderr] |
[INFO] [stderr] 218 | /// to <FILE>. <FILE> can be either [-] or a path.
[INFO] [stderr] | ^^^^^^
[INFO] [stderr]
[INFO] [stderr] warning: unclosed HTML tag `PKG`
[INFO] [stderr] --> src/lib.rs:229:30
[INFO] [stderr] |
[INFO] [stderr] 229 | /// under the directory [<PKG>/proofs/<BACKEND>/extraction], where
[INFO] [stderr] | ^^^^^
[INFO] [stderr]
[INFO] [stderr] warning: unclosed HTML tag `BACKEND`
[INFO] [stderr] --> src/lib.rs:229:43
[INFO] [stderr] |
[INFO] [stderr] 229 | /// under the directory [<PKG>/proofs/<BACKEND>/extraction], where
[INFO] [stderr] | ^^^^^^^^^
[INFO] [stderr]
[INFO] [stderr] warning: unclosed HTML tag `PKG`
[INFO] [stderr] --> src/lib.rs:230:9
[INFO] [stderr] |
[INFO] [stderr] 230 | /// <PKG> is the translated cargo package name and <BACKEND> the
[INFO] [stderr] | ^^^^^
[INFO] [stderr]
[INFO] [stderr] warning: unclosed HTML tag `BACKEND`
[INFO] [stderr] --> src/lib.rs:230:56
[INFO] [stderr] |
[INFO] [stderr] 230 | /// <PKG> is the translated cargo package name and <BACKEND> the
[INFO] [stderr] | ^^^^^^^^^
[INFO] [stderr]
[INFO] [stderr] warning: unclosed HTML tag `PKG`
[INFO] [stderr] --> src/lib.rs:326:29
[INFO] [stderr] |
[INFO] [stderr] 326 | /// options like [-C -p <PKG> ;]).
[INFO] [stderr] | ^^^^^
[INFO] [stderr]
[INFO] [stderr] warning: `hax-cli-options` (lib doc) generated 20 warnings
[INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.43s
[INFO] [stderr] Generated /opt/rustwide/target/x86_64-unknown-linux-gnu/doc/hax_cli_options/index.html
[INFO] running `Command { std: "docker" "inspect" "f5977d112688f3185d08c015d34e0dc67cf552042073ef52ca70033252c4062c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f5977d112688f3185d08c015d34e0dc67cf552042073ef52ca70033252c4062c", kill_on_drop: false }`
[INFO] [stdout] f5977d112688f3185d08c015d34e0dc67cf552042073ef52ca70033252c4062c