[INFO] fetching crate boolector 0.4.2...
[INFO] documenting boolector-0.4.2 against beta-2021-08-01 for beta-1.55-rustdoc-1
[INFO] extracting crate boolector 0.4.2 into /workspace/builds/worker-7/source
[INFO] validating manifest of crates.io crate boolector 0.4.2 on toolchain beta-2021-08-01
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2021-08-01" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate boolector 0.4.2
[INFO] finished tweaking crates.io crate boolector 0.4.2
[INFO] tweaked toml for crates.io crate boolector 0.4.2 written to /workspace/builds/worker-7/source/Cargo.toml
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2021-08-01" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2021-08-01" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded boolector-sys v0.6.3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-08-01" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 046d6e1cbf345dca6ad4fec186d4d73d01b79bc49f0af5096ee42660f6fdda2d
[INFO] running `Command { std: "docker" "start" "-a" "046d6e1cbf345dca6ad4fec186d4d73d01b79bc49f0af5096ee42660f6fdda2d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "046d6e1cbf345dca6ad4fec186d4d73d01b79bc49f0af5096ee42660f6fdda2d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "046d6e1cbf345dca6ad4fec186d4d73d01b79bc49f0af5096ee42660f6fdda2d", kill_on_drop: false }`
[INFO] [stdout] 046d6e1cbf345dca6ad4fec186d4d73d01b79bc49f0af5096ee42660f6fdda2d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-08-01" "doc" "--frozen" "--no-deps" "--document-private-items" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 30db61368aed81eca03e861a7cf4cfd7b0db56b2e3a104f1d41e37d0d538a2cc
[INFO] running `Command { std: "docker" "start" "-a" "30db61368aed81eca03e861a7cf4cfd7b0db56b2e3a104f1d41e37d0d538a2cc", kill_on_drop: false }`
[INFO] [stderr]    Compiling boolector-sys v0.6.3
[INFO] [stderr]  Documenting boolector v0.4.2 (/opt/rustwide/workdir)
[INFO] [stdout] warning: this URL is not a hyperlink
[INFO] [stdout]     --> src/node.rs:1359:19
[INFO] [stdout]      |
[INFO] [stdout] 1359 |     /// relevant: https://github.com/Boolector/boolector/issues/79
[INFO] [stdout]      |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use an automatic link instead: `<https://github.com/Boolector/boolector/issues/79>`
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(rustdoc::bare_urls)]` on by default
[INFO] [stdout]      = note: bare URLs are not automatically turned into clickable links
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: this URL is not a hyperlink
[INFO] [stdout]   --> src/btor.rs:36:5
[INFO] [stdout]    |
[INFO] [stdout] 36 | /// https://groups.google.com/forum/#!msg/boolector/itYGgJxU3mY/AC2O0898BAAJ,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: use an automatic link instead: `<https://groups.google.com/forum/#>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: bare URLs are not automatically turned into clickable links
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 2 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1.46s
[INFO] running `Command { std: "docker" "inspect" "30db61368aed81eca03e861a7cf4cfd7b0db56b2e3a104f1d41e37d0d538a2cc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "30db61368aed81eca03e861a7cf4cfd7b0db56b2e3a104f1d41e37d0d538a2cc", kill_on_drop: false }`
[INFO] [stdout] 30db61368aed81eca03e861a7cf4cfd7b0db56b2e3a104f1d41e37d0d538a2cc
