[INFO] cloning repository https://github.com/bordumb/proof-bound
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/bordumb/proof-bound" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbordumb%2Fproof-bound", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbordumb%2Fproof-bound'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 95124692b6b9383a265c8024f21bb964737f8b6b
[INFO] checking bordumb/proof-bound against 3154cc1a3e6424e44f438a95007d043ed5ceaaf6 for pr-133502-30
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fbordumb%2Fproof-bound" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-6-tc2/source/.cargo/config.toml
[INFO] removed /workspace/builds/worker-6-tc2/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/bordumb/proof-bound
[INFO] finished tweaking git repo https://github.com/bordumb/proof-bound
[INFO] tweaked toml for git repo https://github.com/bordumb/proof-bound written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/bordumb/proof-bound on toolchain 3154cc1a3e6424e44f438a95007d043ed5ceaaf6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/bordumb/proof-bound already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] c9fb4dcb6522bdaa21ad4e641631e2906936f1f6f7ef0b484d57495033580594
[INFO] running `Command { std: "docker" "start" "c9fb4dcb6522bdaa21ad4e641631e2906936f1f6f7ef0b484d57495033580594", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c9fb4dcb6522bdaa21ad4e641631e2906936f1f6f7ef0b484d57495033580594", kill_on_drop: false }`
[INFO] running `Command { std: "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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "c9fb4dcb6522bdaa21ad4e641631e2906936f1f6f7ef0b484d57495033580594" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c9fb4dcb6522bdaa21ad4e641631e2906936f1f6f7ef0b484d57495033580594", kill_on_drop: false }`
[INFO] running `Command { std: "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" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-w" "/opt/rustwide/workdir" "--user" "0:0" "c9fb4dcb6522bdaa21ad4e641631e2906936f1f6f7ef0b484d57495033580594" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]     Checking typenum v1.20.1
[INFO] [stderr]     Checking memchr v2.8.3
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling serde_core v1.0.229
[INFO] [stderr]    Compiling serde v1.0.229
[INFO] [stderr]     Checking linux-raw-sys v0.12.1
[INFO] [stderr]     Checking regex-syntax v0.8.11
[INFO] [stderr]    Compiling syn v3.0.3
[INFO] [stderr]    Compiling syn v2.0.119
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]     Checking getrandom v0.4.3
[INFO] [stderr]     Checking toml_write v0.1.2
[INFO] [stderr]     Checking once_cell v1.21.4
[INFO] [stderr]     Checking winnow v0.7.15
[INFO] [stderr]     Checking iana-time-zone v0.1.65
[INFO] [stderr]     Checking utf8parse v0.2.2
[INFO] [stderr]     Checking is_terminal_polyfill v1.70.2
[INFO] [stderr]     Checking anstyle-parse v1.0.0
[INFO] [stderr]     Checking anstyle v1.0.14
[INFO] [stderr]     Checking anstyle-query v1.1.5
[INFO] [stderr]     Checking colorchoice v1.0.5
[INFO] [stderr]     Checking strsim v0.11.1
[INFO] [stderr]     Checking clap_lex v1.1.0
[INFO] [stderr]    Compiling crc32fast v1.5.1
[INFO] [stderr]     Checking filetime v0.2.29
[INFO] [stderr]     Checking artifact-certificate-checker v0.0.1 (/opt/rustwide/workdir/demo/artifact-certificate/rust/checker)
[INFO] [stderr]     Checking allowance-kernel v0.0.1 (/opt/rustwide/workdir/demo/allowance/rust/kernel)
[INFO] [stderr]     Checking anstream v1.0.0
[INFO] [stderr]     Checking flate2 v1.1.9
[INFO] [stderr]     Checking clap_builder v4.6.2
[INFO] [stderr]     Checking aho-corasick v1.1.5
[INFO] [stderr]     Checking bstr v1.13.0
[INFO] [stderr]     Checking regex-automata v0.4.18
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]     Checking generic-array v0.14.7
[INFO] [stderr]     Checking tempfile v3.27.0
[INFO] [stderr]     Checking xattr v1.6.1
[INFO] [stderr]     Checking tar v0.4.46
[INFO] [stderr]     Checking crypto-common v0.1.7
[INFO] [stderr]     Checking block-buffer v0.10.4
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]     Checking sha2 v0.10.9
[INFO] [stderr]     Checking serde_json v1.0.151
[INFO] [stderr]     Checking thiserror v1.0.69
[INFO] [stderr]    Compiling serde_derive v1.0.229
[INFO] [stderr]    Compiling clap_derive v4.6.4
[INFO] [stderr]     Checking globset v0.4.18
[INFO] [stderr]     Checking clap v4.6.4
[INFO] [stderr]     Checking xtask v0.0.1 (/opt/rustwide/workdir/crates/xtask)
[INFO] [stderr]     Checking serde_spanned v0.6.9
[INFO] [stderr]     Checking toml_datetime v0.6.11
[INFO] [stderr]     Checking chrono v0.4.45
[INFO] [stderr]     Checking proofbound-core v0.0.1 (/opt/rustwide/workdir/crates/proofbound-core)
[INFO] [stderr]     Checking proofbound-verify v0.0.1 (/opt/rustwide/workdir/crates/proofbound-verify)
[INFO] [stderr]     Checking toml_edit v0.22.27
[INFO] [stderr]     Checking proofbound-evidence v0.0.1 (/opt/rustwide/workdir/crates/proofbound-evidence)
[INFO] [stderr]     Checking toml v0.8.23
[INFO] [stderr]     Checking proofbound-manifest v0.0.1 (/opt/rustwide/workdir/crates/proofbound-manifest)
[INFO] [stderr]     Checking proofbound-ir-prototype v0.0.1 (/opt/rustwide/workdir/crates/proofbound-ir-prototype)
[INFO] [stdout] error: couldn't read `/opt/rustwide/workdir/crates/proofbound-manifest/../../.cargo/config.toml`: No such file or directory (os error 2)
[INFO] [stdout]     --> crates/proofbound-manifest/src/validate.rs:4691:28
[INFO] [stdout]      |
[INFO] [stdout] 4691 |           let cargo_config = include_str!(concat!(
[INFO] [stdout]      |  ____________________________^
[INFO] [stdout] 4692 | |             env!("CARGO_MANIFEST_DIR"),
[INFO] [stdout] 4693 | |             "/../../.cargo/config.toml"
[INFO] [stdout] 4694 | |         ));
[INFO] [stdout]      | |__________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking proofbound-adapter-lean v0.0.1 (/opt/rustwide/workdir/crates/proofbound-adapter-lean)
[INFO] [stderr]     Checking proofbound-adapter-test v0.0.1 (/opt/rustwide/workdir/crates/proofbound-adapter-test)
[INFO] [stderr]     Checking proofbound-adapter-node v0.0.1 (/opt/rustwide/workdir/crates/proofbound-adapter-node)
[INFO] [stderr]     Checking proofbound-cli v0.0.1 (/opt/rustwide/workdir/crates/proofbound-cli)
[INFO] [stderr]     Checking proofbound-adapter-aeneas v0.0.1 (/opt/rustwide/workdir/crates/proofbound-adapter-aeneas)
[INFO] [stderr]     Checking proofbound-adapter-kani v0.0.1 (/opt/rustwide/workdir/crates/proofbound-adapter-kani)
[INFO] [stderr] error: could not compile `proofbound-manifest` (lib test) due to 1 previous error
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] warning: unused dependency `chrono`
[INFO] [stderr]  --> crates/proofbound-evidence/Cargo.toml:9:1
[INFO] [stderr]   |
[INFO] [stderr] 9 | chrono.workspace = true
[INFO] [stderr]   | ^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `cargo::unused_dependencies` is set to `warn` by default
[INFO] [stderr] help: consider removing the dependency on `chrono`
[INFO] [stderr] warning: `proofbound-evidence` (manifest) generated 1 warning
[INFO] running `Command { std: "docker" "inspect" "c9fb4dcb6522bdaa21ad4e641631e2906936f1f6f7ef0b484d57495033580594", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c9fb4dcb6522bdaa21ad4e641631e2906936f1f6f7ef0b484d57495033580594", kill_on_drop: false }`
[INFO] [stdout] c9fb4dcb6522bdaa21ad4e641631e2906936f1f6f7ef0b484d57495033580594
