[INFO] cloning repository https://github.com/dekrops/verified-cli
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/dekrops/verified-cli" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdekrops%2Fverified-cli", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdekrops%2Fverified-cli'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 16cea174514a2205592b76893da3b52af8a25209
[INFO] checking dekrops/verified-cli against 846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9 for pr-160391-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fdekrops%2Fverified-cli" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-3-tc1/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/dekrops/verified-cli
[INFO] finished tweaking git repo https://github.com/dekrops/verified-cli
[INFO] tweaked toml for git repo https://github.com/dekrops/verified-cli written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/dekrops/verified-cli on toolchain 846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/dekrops/verified-cli 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" "+846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded ctutils v0.4.6
[INFO] [stderr]   Downloaded quick-error v1.2.3
[INFO] [stderr]   Downloaded unarray v0.1.4
[INFO] [stderr]   Downloaded rusty-fork v0.3.1
[INFO] [stderr]   Downloaded signature v3.0.0
[INFO] [stderr]   Downloaded ref-cast v1.0.27
[INFO] [stderr]   Downloaded jiff-static v0.2.38
[INFO] [stderr]   Downloaded wnaf v0.14.1
[INFO] [stderr]   Downloaded rfc6979 v0.6.0
[INFO] [stderr]   Downloaded defmt-parser v1.0.0
[INFO] [stderr]   Downloaded jiff-tzdb-platform v0.1.3
[INFO] [stderr]   Downloaded linked-hash-map v0.5.6
[INFO] [stderr]   Downloaded rand_xorshift v0.4.0
[INFO] [stderr]   Downloaded powerfmt v0.2.1
[INFO] [stderr]   Downloaded darling_macro v0.24.1
[INFO] [stderr]   Downloaded ref-cast-impl v1.0.27
[INFO] [stderr]   Downloaded typed-arena v2.0.2
[INFO] [stderr]   Downloaded base16ct v1.0.0
[INFO] [stderr]   Downloaded phf_shared v0.11.3
[INFO] [stderr]   Downloaded ascii-canvas v4.0.0
[INFO] [stderr]   Downloaded ff v0.14.0
[INFO] [stderr]   Downloaded group v0.14.0
[INFO] [stderr]   Downloaded logos-derive v0.16.1
[INFO] [stderr]   Downloaded find-msvc-tools v0.1.14
[INFO] [stderr]   Downloaded linked_hash_set v0.1.6
[INFO] [stderr]   Downloaded siphasher v1.0.4
[INFO] [stderr]   Downloaded pico-args v0.5.0
[INFO] [stderr]   Downloaded proptest v1.11.0
[INFO] [stderr]   Downloaded enum-ordinalize v4.4.2
[INFO] [stderr]   Downloaded enum-ordinalize-derive v4.4.2
[INFO] [stderr]   Downloaded rustc-literal-escaper v0.0.7
[INFO] [stderr]   Downloaded nonempty v0.12.0
[INFO] [stderr]   Downloaded serdect v0.4.3
[INFO] [stderr]   Downloaded primefield v0.14.0
[INFO] [stderr]   Downloaded sec1 v0.8.1
[INFO] [stderr]   Downloaded ed25519 v3.0.0
[INFO] [stderr]   Downloaded deranged v0.5.9
[INFO] [stderr]   Downloaded defmt-macros v1.1.1
[INFO] [stderr]   Downloaded miette-derive v7.6.0
[INFO] [stderr]   Downloaded pretty v0.12.5
[INFO] [stderr]   Downloaded logos v0.16.1
[INFO] [stderr]   Downloaded stacker v0.1.25
[INFO] [stderr]   Downloaded lalrpop-util v0.22.2
[INFO] [stderr]   Downloaded string_cache v0.8.9
[INFO] [stderr]   Downloaded ena v0.14.4
[INFO] [stderr]   Downloaded spki v0.8.1
[INFO] [stderr]   Downloaded pem-rfc7468 v1.0.0
[INFO] [stderr]   Downloaded pkcs8 v0.11.0
[INFO] [stderr]   Downloaded primeorder v0.14.0
[INFO] [stderr]   Downloaded elliptic-curve v0.14.3
[INFO] [stderr]   Downloaded ecdsa v0.17.0
[INFO] [stderr]   Downloaded serde_with_macros v3.24.0
[INFO] [stderr]   Downloaded defmt v1.1.1
[INFO] [stderr]   Downloaded cedar-policy-formatter v4.10.0
[INFO] [stderr]   Downloaded unicode-script v0.5.8
[INFO] [stderr]   Downloaded psm v0.1.32
[INFO] [stderr]   Downloaded educe v0.6.0
[INFO] [stderr]   Downloaded pkcs1 v0.8.0-rc.5
[INFO] [stderr]   Downloaded darling v0.24.1
[INFO] [stderr]   Downloaded schemars v0.9.0
[INFO] [stderr]   Downloaded portable-atomic-util v0.2.8
[INFO] [stderr]   Downloaded jiff-tzdb v0.1.9
[INFO] [stderr]   Downloaded logos-codegen v0.16.1
[INFO] [stderr]   Downloaded term v1.2.1
[INFO] [stderr]   Downloaded p256 v0.14.0
[INFO] [stderr]   Downloaded miette v7.6.0
[INFO] [stderr]   Downloaded unicode-security v0.1.2
[INFO] [stderr]   Downloaded rsa v0.10.0-rc.19
[INFO] [stderr]   Downloaded ed25519-dalek v3.0.0
[INFO] [stderr]   Downloaded darling_core v0.24.1
[INFO] [stderr]   Downloaded schemars v1.2.3
[INFO] [stderr]   Downloaded ar_archive_writer v0.5.3
[INFO] [stderr]   Downloaded der v0.8.3
[INFO] [stderr]   Downloaded jiff-core v0.1.1
[INFO] [stderr]   Downloaded cc v1.8.0
[INFO] [stderr]   Downloaded zerocopy-derive v0.8.62
[INFO] [stderr]   Downloaded cedar-policy v4.10.0
[INFO] [stderr]   Downloaded crypto-primes v0.7.2
[INFO] [stderr]   Downloaded portable-atomic v1.15.0
[INFO] [stderr]   Downloaded serde_with v3.24.0
[INFO] [stderr]   Downloaded lalrpop v0.22.2
[INFO] [stderr]   Downloaded crypto-bigint v0.7.10
[INFO] [stderr]   Downloaded zerocopy v0.8.62
[INFO] [stderr]   Downloaded curve25519-dalek v5.0.0
[INFO] [stderr]   Downloaded object v0.39.1
[INFO] [stderr]   Downloaded fiat-crypto v0.3.0
[INFO] [stderr]   Downloaded jiff v0.2.38
[INFO] [stderr]   Downloaded cedar-policy-core v4.10.0
[INFO] [stderr]   Downloaded sha3 v0.10.9
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/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:c0af3998e971868164375a7dfb646c9933ddd1a3bdb00fa2041266763dc1eeab" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 3529376f9be98d7cbe6a2d53a2eaf69d9760dc42679e226f9f138a932095c35e
[INFO] running `Command { std: "docker" "start" "3529376f9be98d7cbe6a2d53a2eaf69d9760dc42679e226f9f138a932095c35e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "3529376f9be98d7cbe6a2d53a2eaf69d9760dc42679e226f9f138a932095c35e", 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" "3529376f9be98d7cbe6a2d53a2eaf69d9760dc42679e226f9f138a932095c35e" "/opt/rustwide/cargo-home/bin/cargo" "+846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "3529376f9be98d7cbe6a2d53a2eaf69d9760dc42679e226f9f138a932095c35e", 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" "3529376f9be98d7cbe6a2d53a2eaf69d9760dc42679e226f9f138a932095c35e" "/opt/rustwide/cargo-home/bin/cargo" "+846e51f66b1e7b49ba9e3988c58ccfe5817ce0a9" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.107
[INFO] [stderr]    Compiling quote v1.0.47
[INFO] [stderr]    Compiling unicode-ident v1.0.26
[INFO] [stderr]     Checking zeroize v1.9.1
[INFO] [stderr]     Checking subtle v2.6.1
[INFO] [stderr]     Checking typenum v1.20.1
[INFO] [stderr]     Checking rand_core v0.10.1
[INFO] [stderr]     Checking cfg-if v1.0.5
[INFO] [stderr]     Checking cmov v0.5.4
[INFO] [stderr]     Checking const-oid v0.10.2
[INFO] [stderr]    Compiling autocfg v1.5.1
[INFO] [stderr]    Compiling libc v0.2.190
[INFO] [stderr]    Compiling thiserror v2.0.21
[INFO] [stderr]     Checking cpufeatures v0.3.1
[INFO] [stderr]     Checking base64ct v1.8.3
[INFO] [stderr]     Checking cpubits v0.1.1
[INFO] [stderr]    Compiling semver v1.0.28
[INFO] [stderr]    Compiling serde_core v1.0.229
[INFO] [stderr]     Checking base16ct v1.0.0
[INFO] [stderr]     Checking regex-syntax v0.8.11
[INFO] [stderr]     Checking memchr v2.8.3
[INFO] [stderr]     Checking base64 v0.23.1
[INFO] [stderr]    Compiling zmij v1.0.23
[INFO] [stderr]    Compiling serde_json v1.0.151
[INFO] [stderr]     Checking hashbrown v0.17.1
[INFO] [stderr]     Checking itoa v1.0.18
[INFO] [stderr]     Checking ctutils v0.4.6
[INFO] [stderr]     Checking ff v0.14.0
[INFO] [stderr]     Checking pem-rfc7468 v1.0.0
[INFO] [stderr]     Checking group v0.14.0
[INFO] [stderr]    Compiling rustc_version v0.4.1
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]     Checking der v0.8.3
[INFO] [stderr]    Compiling getrandom v0.4.3
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling rustix v1.1.5
[INFO] [stderr]    Compiling find-msvc-tools v0.1.14
[INFO] [stderr]    Compiling object v0.39.1
[INFO] [stderr]     Checking indexmap v2.14.2
[INFO] [stderr]    Compiling curve25519-dalek v5.0.0
[INFO] [stderr]    Compiling rustversion v1.0.23
[INFO] [stderr]    Compiling aho-corasick v1.1.5
[INFO] [stderr]    Compiling zerocopy v0.8.62
[INFO] [stderr]    Compiling shlex v2.0.1
[INFO] [stderr]    Compiling cc v1.8.0
[INFO] [stderr]     Checking bitflags v2.13.2
[INFO] [stderr]     Checking linux-raw-sys v0.12.1
[INFO] [stderr]    Compiling serde v1.0.229
[INFO] [stderr]    Compiling syn v3.0.6
[INFO] [stderr]    Compiling syn v2.0.119
[INFO] [stderr]    Compiling smallvec v1.16.3
[INFO] [stderr]     Checking spki v0.8.1
[INFO] [stderr]     Checking pkcs8 v0.11.0
[INFO] [stderr]     Checking pkcs1 v0.8.0-rc.5
[INFO] [stderr]    Compiling scopeguard v1.2.0
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]     Checking rand_core v0.9.5
[INFO] [stderr]    Compiling lock_api v0.4.14
[INFO] [stderr]     Checking hybrid-array v0.4.15
[INFO] [stderr]     Checking fastrand v2.5.0
[INFO] [stderr]     Checking once_cell v1.21.4
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling crypto-common v0.1.7
[INFO] [stderr]    Compiling siphasher v1.0.4
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]     Checking wait-timeout v0.2.1
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]    Compiling term v1.2.1
[INFO] [stderr]     Checking bit-vec v0.8.0
[INFO] [stderr]    Compiling phf_shared v0.11.3
[INFO] [stderr]     Checking quick-error v1.2.3
[INFO] [stderr]    Compiling log v0.4.34
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.6
[INFO] [stderr]    Compiling either v1.19.0
[INFO] [stderr]    Compiling fixedbitset v0.5.7
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling keccak v0.1.6
[INFO] [stderr]     Checking crypto-common v0.2.2
[INFO] [stderr]     Checking block-buffer v0.12.1
[INFO] [stderr]     Checking crypto-bigint v0.7.10
[INFO] [stderr]     Checking sec1 v0.8.1
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]    Compiling sha3 v0.10.9
[INFO] [stderr]    Compiling itertools v0.14.0
[INFO] [stderr]    Compiling string_cache v0.8.9
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling ascii-canvas v4.0.0
[INFO] [stderr]    Compiling regex-automata v0.4.18
[INFO] [stderr]    Compiling ena v0.14.4
[INFO] [stderr]    Compiling walkdir v2.5.0
[INFO] [stderr]     Checking rand v0.9.5
[INFO] [stderr]     Checking rand_xorshift v0.4.0
[INFO] [stderr]    Compiling pico-args v0.5.0
[INFO] [stderr]     Checking digest v0.11.3
[INFO] [stderr]     Checking unarray v0.1.4
[INFO] [stderr]    Compiling unicode-xid v0.2.6
[INFO] [stderr]    Compiling stacker v0.1.25
[INFO] [stderr]     Checking sha2 v0.11.0
[INFO] [stderr]     Checking hmac v0.13.0
[INFO] [stderr]     Checking signature v3.0.0
[INFO] [stderr]     Checking ed25519 v3.0.0
[INFO] [stderr]     Checking tinyvec v1.13.3
[INFO] [stderr]    Compiling ref-cast v1.0.27
[INFO] [stderr]    Compiling petgraph v0.7.1
[INFO] [stderr]     Checking unicode-width v0.1.14
[INFO] [stderr]     Checking unicode-script v0.5.8
[INFO] [stderr]     Checking unicode-normalization v0.1.25
[INFO] [stderr]     Checking tempfile v3.27.0
[INFO] [stderr]     Checking smol_str v0.3.6
[INFO] [stderr]     Checking chrono v0.4.45
[INFO] [stderr]     Checking arrayvec v0.5.2
[INFO] [stderr]     Checking rusty-fork v0.3.1
[INFO] [stderr]     Checking typed-arena v2.0.2
[INFO] [stderr]     Checking unicode-width v0.2.2
[INFO] [stderr]     Checking rustc-literal-escaper v0.0.7
[INFO] [stderr]    Compiling cedar-policy v4.10.0
[INFO] [stderr]     Checking anstyle-parse v1.0.0
[INFO] [stderr]     Checking is_terminal_polyfill v1.70.2
[INFO] [stderr]     Checking pretty v0.12.5
[INFO] [stderr]     Checking anstyle v1.0.14
[INFO] [stderr]     Checking anstyle-query v1.1.5
[INFO] [stderr]     Checking colorchoice v1.0.5
[INFO] [stderr]    Compiling anyhow v1.0.104
[INFO] [stderr]     Checking anstream v1.0.0
[INFO] [stderr]     Checking clap_lex v1.1.1
[INFO] [stderr]     Checking clap_builder v4.6.7
[INFO] [stderr]    Compiling curve25519-dalek-derive v0.1.1
[INFO] [stderr]    Compiling miette-derive v7.6.0
[INFO] [stderr]     Checking unicode-security v0.1.2
[INFO] [stderr]    Compiling darling_core v0.24.1
[INFO] [stderr]    Compiling thiserror-impl v2.0.21
[INFO] [stderr]    Compiling serde_derive v1.0.229
[INFO] [stderr]    Compiling enum-ordinalize-derive v4.4.2
[INFO] [stderr]    Compiling ref-cast-impl v1.0.27
[INFO] [stderr]    Compiling clap_derive v4.6.7
[INFO] [stderr]    Compiling enum-ordinalize v4.4.2
[INFO] [stderr]     Checking ed25519-dalek v3.0.0
[INFO] [stderr]    Compiling educe v0.6.0
[INFO] [stderr]     Checking regex v1.13.1
[INFO] [stderr]     Checking lalrpop-util v0.22.2
[INFO] [stderr]     Checking verified-canonical v0.2.0 (/opt/rustwide/workdir/crates/verified-canonical)
[INFO] [stderr]     Checking ppv-lite86 v0.2.21
[INFO] [stderr]     Checking elliptic-curve v0.14.3
[INFO] [stderr]     Checking primefield v0.14.0
[INFO] [stderr]     Checking rfc6979 v0.6.0
[INFO] [stderr]     Checking crypto-primes v0.7.2
[INFO] [stderr]     Checking verified-protocol v0.2.0 (/opt/rustwide/workdir/crates/verified-protocol)
[INFO] [stderr]     Checking verified-contract v0.2.0 (/opt/rustwide/workdir/crates/verified-contract)
[INFO] [stderr]    Compiling ar_archive_writer v0.5.3
[INFO] [stderr]     Checking wnaf v0.14.1
[INFO] [stderr]     Checking clap v4.6.7
[INFO] [stderr]     Checking ecdsa v0.17.0
[INFO] [stderr]     Checking primeorder v0.14.0
[INFO] [stderr]     Checking rand_chacha v0.9.0
[INFO] [stderr]    Compiling logos-codegen v0.16.1
[INFO] [stderr]     Checking proptest v1.11.0
[INFO] [stderr]    Compiling lalrpop v0.22.2
[INFO] [stderr]     Checking p256 v0.14.0
[INFO] [stderr]    Compiling psm v0.1.32
[INFO] [stderr]    Compiling darling_macro v0.24.1
[INFO] [stderr]     Checking verified-work-unit v0.2.0 (/opt/rustwide/workdir/crates/verified-work-unit)
[INFO] [stderr]    Compiling darling v0.24.1
[INFO] [stderr]    Compiling serde_with_macros v3.24.0
[INFO] [stderr]    Compiling logos-derive v0.16.1
[INFO] [stderr]     Checking logos v0.16.1
[INFO] [stderr]     Checking rsa v0.10.0-rc.19
[INFO] [stderr]     Checking serde_with v3.24.0
[INFO] [stderr]     Checking linked-hash-map v0.5.6
[INFO] [stderr]     Checking nonempty v0.12.0
[INFO] [stderr]     Checking miette v7.6.0
[INFO] [stderr]     Checking verified-verifier v0.2.0 (/opt/rustwide/workdir/crates/verified-verifier)
[INFO] [stderr]     Checking linked_hash_set v0.1.6
[INFO] [stderr]     Checking verified-history v0.2.0 (/opt/rustwide/workdir/crates/verified-history)
[INFO] [stderr]     Checking verified-workspace v0.2.0 (/opt/rustwide/workdir/crates/verified-workspace)
[INFO] [stderr]    Compiling cedar-policy-core v4.10.0
[INFO] [stderr]     Checking cedar-policy-formatter v4.10.0
[INFO] [stderr]     Checking verified-derivation v0.2.0 (/opt/rustwide/workdir/crates/verified-derivation)
[INFO] [stderr]     Checking verified-cli v0.2.0 (/opt/rustwide/workdir/crates/verified-cli)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 52s
[INFO] running `Command { std: "docker" "inspect" "3529376f9be98d7cbe6a2d53a2eaf69d9760dc42679e226f9f138a932095c35e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3529376f9be98d7cbe6a2d53a2eaf69d9760dc42679e226f9f138a932095c35e", kill_on_drop: false }`
[INFO] [stdout] 3529376f9be98d7cbe6a2d53a2eaf69d9760dc42679e226f9f138a932095c35e
