[INFO] cloning repository https://github.com/HindsightWise/chimera_kernel
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/HindsightWise/chimera_kernel" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FHindsightWise%2Fchimera_kernel", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FHindsightWise%2Fchimera_kernel'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 05c0511c6d6a4fe1cd66f5aa37ddb12a12fb0106
[INFO] checking HindsightWise/chimera_kernel/05c0511c6d6a4fe1cd66f5aa37ddb12a12fb0106 against c9ff496891c278ad660bc0ab85c1f0b72059464a for pr-160491
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FHindsightWise%2Fchimera_kernel" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'...
[INFO] [stderr] done.
[INFO] [stderr] Updating files:  25% (4941/19534)
Updating files:  26% (5079/19534)
Updating files:  27% (5275/19534)
Updating files:  28% (5470/19534)
Updating files:  29% (5665/19534)
Updating files:  30% (5861/19534)
Updating files:  31% (6056/19534)
Updating files:  32% (6251/19534)
Updating files:  33% (6447/19534)
Updating files:  34% (6642/19534)
Updating files:  35% (6837/19534)
Updating files:  36% (7033/19534)
Updating files:  37% (7228/19534)
Updating files:  38% (7423/19534)
Updating files:  39% (7619/19534)
Updating files:  40% (7814/19534)
Updating files:  41% (8009/19534)
Updating files:  41% (8164/19534)
Updating files:  42% (8205/19534)
Updating files:  43% (8400/19534)
Updating files:  44% (8595/19534)
Updating files:  45% (8791/19534)
Updating files:  46% (8986/19534)
Updating files:  47% (9181/19534)
Updating files:  48% (9377/19534)
Updating files:  49% (9572/19534)
Updating files:  50% (9767/19534)
Updating files:  51% (9963/19534)
Updating files:  52% (10158/19534)
Updating files:  53% (10354/19534)
Updating files:  54% (10549/19534)
Updating files:  55% (10744/19534)
Updating files:  56% (10940/19534)
Updating files:  57% (11135/19534)
Updating files:  58% (11330/19534)
Updating files:  59% (11526/19534)
Updating files:  60% (11721/19534)
Updating files:  61% (11916/19534)
Updating files:  62% (12112/19534)
Updating files:  63% (12307/19534)
Updating files:  64% (12502/19534)
Updating files:  65% (12698/19534)
Updating files:  66% (12893/19534)
Updating files:  67% (13088/19534)
Updating files:  68% (13284/19534)
Updating files:  69% (13479/19534)
Updating files:  70% (13674/19534)
Updating files:  71% (13870/19534)
Updating files:  72% (14065/19534)
Updating files:  73% (14260/19534)
Updating files:  74% (14456/19534)
Updating files:  75% (14651/19534)
Updating files:  75% (14816/19534)
Updating files:  76% (14846/19534)
Updating files:  77% (15042/19534)
Updating files:  78% (15237/19534)
Updating files:  79% (15432/19534)
Updating files:  80% (15628/19534)
Updating files:  81% (15823/19534)
Updating files:  82% (16018/19534)
Updating files:  83% (16214/19534)
Updating files:  84% (16409/19534)
Updating files:  85% (16604/19534)
Updating files:  86% (16800/19534)
Updating files:  86% (16871/19534)
Updating files:  87% (16995/19534)
Updating files:  87% (17152/19534)
Updating files:  88% (17190/19534)
Updating files:  88% (17269/19534)
Updating files:  89% (17386/19534)
Updating files:  89% (17460/19534)
Updating files:  90% (17581/19534)
Updating files:  90% (17613/19534)
Updating files:  90% (17689/19534)
Updating files:  91% (17776/19534)
Updating files:  91% (17819/19534)
Updating files:  91% (17935/19534)
Updating files:  92% (17972/19534)
Updating files:  92% (18068/19534)
Updating files:  92% (18143/19534)
Updating files:  92% (18165/19534)
Updating files:  93% (18167/19534)
Updating files:  93% (18358/19534)
Updating files:  94% (18362/19534)
Updating files:  94% (18471/19534)
Updating files:  95% (18558/19534)
Updating files:  95% (18680/19534)
Updating files:  96% (18753/19534)
Updating files:  97% (18948/19534)
Updating files:  98% (19144/19534)
Updating files:  98% (19249/19534)
Updating files:  98% (19252/19534)
Updating files:  99% (19339/19534)
Updating files: 100% (19534/19534)
Updating files: 100% (19534/19534), done.
[INFO] removed /workspace/builds/worker-7-tc1/source/.cargo/config.toml
[INFO] started tweaking git repo https://github.com/HindsightWise/chimera_kernel
[INFO] finished tweaking git repo https://github.com/HindsightWise/chimera_kernel
[INFO] tweaked toml for git repo https://github.com/HindsightWise/chimera_kernel written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/HindsightWise/chimera_kernel on toolchain c9ff496891c278ad660bc0ab85c1f0b72059464a
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c9ff496891c278ad660bc0ab85c1f0b72059464a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/HindsightWise/chimera_kernel 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" "+c9ff496891c278ad660bc0ab85c1f0b72059464a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded wasm-bindgen-futures v0.4.67
[INFO] [stderr]   Downloaded cc v1.0.106
[INFO] [stderr]   Downloaded cmake v0.1.53
[INFO] [stderr]   Downloaded rustls-webpki v0.103.4
[INFO] [stderr]   Downloaded rustls v0.23.31
[INFO] [stderr]   Downloaded aws-lc-rs v1.13.3
[INFO] [stderr]   Downloaded bindgen v0.69.5
[INFO] [stderr]   Downloaded openssl v0.10.76
[INFO] [stderr]   Downloaded thin-vec v0.2.14
[INFO] [stderr]   Downloaded web-sys v0.3.94
[INFO] [stderr]   Downloaded rhai v1.24.0
[INFO] [stderr]   Downloaded rhai_codegen v3.1.0
[INFO] [stderr]   Downloaded pyo3-macros v0.20.3
[INFO] [stderr]   Downloaded pyo3-build-config v0.20.3
[INFO] [stderr]   Downloaded unindent v0.2.4
[INFO] [stderr]   Downloaded pyo3-ffi v0.20.3
[INFO] [stderr]   Downloaded lancedb v0.4.12
[INFO] [stderr]   Downloaded pyo3-macros-backend v0.20.3
[INFO] [stderr]   Downloaded pyo3 v0.20.3
[INFO] [stderr]   Downloaded async-compression v0.4.19
[INFO] [stderr]   Downloaded object_store v0.9.1
[INFO] [stderr]   Downloaded chrono v0.4.34
[INFO] [stderr]   Downloaded lance-testing v0.10.2
[INFO] [stderr]   Downloaded lance-arrow v0.10.2
[INFO] [stderr]   Downloaded half v2.3.1
[INFO] [stderr]   Downloaded arrow-select v50.0.0
[INFO] [stderr]   Downloaded arrow-data v50.0.0
[INFO] [stderr]   Downloaded arrow-array v50.0.0
[INFO] [stderr]   Downloaded arrow-schema v50.0.0
[INFO] [stderr]   Downloaded arrow-buffer v50.0.0
[INFO] [stderr]   Downloaded arrow-cast v50.0.0
[INFO] [stderr]   Downloaded aws-lc-sys v0.30.0
[INFO] [stderr]   Downloaded lance-linalg v0.10.2
[INFO] [stderr]   Downloaded lance-core v0.10.2
[INFO] [stderr]   Downloaded roaring v0.10.12
[INFO] [stderr]   Downloaded moka v0.11.3
[INFO] [stderr]   Downloaded skeptic v0.13.7
[INFO] [stderr]   Downloaded pulldown-cmark v0.9.6
[INFO] [stderr]   Downloaded scheduled-thread-pool v0.2.7
[INFO] [stderr]   Downloaded datafusion-sql v35.0.0
[INFO] [stderr]   Downloaded sqlparser_derive v0.2.2
[INFO] [stderr]   Downloaded mock_instant v0.3.2
[INFO] [stderr]   Downloaded sqlparser v0.41.0
[INFO] [stderr]   Downloaded datafusion-common v35.0.0
[INFO] [stderr]   Downloaded thrift v0.17.0
[INFO] [stderr]   Downloaded datafusion-expr v35.0.0
[INFO] [stderr]   Downloaded parquet v50.0.0
[INFO] [stderr]   Downloaded integer-encoding v3.0.4
[INFO] [stderr]   Downloaded prost-build v0.12.6
[INFO] [stderr]   Downloaded arrow-string v50.0.0
[INFO] [stderr]   Downloaded arrow-row v50.0.0
[INFO] [stderr]   Downloaded flatbuffers v23.5.26
[INFO] [stderr]   Downloaded arrow v50.0.0
[INFO] [stderr]   Downloaded arrow-csv v50.0.0
[INFO] [stderr]   Downloaded prost-types v0.12.6
[INFO] [stderr]   Downloaded arrow-ipc v50.0.0
[INFO] [stderr]   Downloaded arrow-ord v50.0.0
[INFO] [stderr]   Downloaded arrow-json v50.0.0
[INFO] [stderr]   Downloaded lance-io v0.10.2
[INFO] [stderr]   Downloaded arrow-arith v50.0.0
[INFO] [stderr]   Downloaded lance-index v0.10.2
[INFO] [stderr]   Downloaded lance-table v0.10.2
[INFO] [stderr]   Downloaded redox_syscall v0.7.4
[INFO] [stderr]   Downloaded aws-credential-types v0.56.1
[INFO] [stderr]   Downloaded aws-smithy-types v0.56.1
[INFO] [stderr]   Downloaded aws-smithy-async v0.56.1
[INFO] [stderr]   Downloaded aws-types v0.56.1
[INFO] [stderr]   Downloaded aws-smithy-http v0.56.1
[INFO] [stderr]   Downloaded aws-smithy-query v0.56.1
[INFO] [stderr]   Downloaded aws-config v0.56.1
[INFO] [stderr]   Downloaded lance-file v0.10.2
[INFO] [stderr]   Downloaded aws-smithy-http-tower v0.56.1
[INFO] [stderr]   Downloaded aws-sigv4 v0.56.1
[INFO] [stderr]   Downloaded aws-smithy-json v0.56.1
[INFO] [stderr]   Downloaded aws-runtime v0.56.1
[INFO] [stderr]   Downloaded typify v0.0.15
[INFO] [stderr]   Downloaded typify-macro v0.0.15
[INFO] [stderr]   Downloaded aws-smithy-client v0.56.1
[INFO] [stderr]   Downloaded aws-smithy-xml v0.56.1
[INFO] [stderr]   Downloaded aws-smithy-runtime-api v0.56.1
[INFO] [stderr]   Downloaded lance-datafusion v0.10.2
[INFO] [stderr]   Downloaded substrait v0.22.1
[INFO] [stderr]   Downloaded aws-smithy-runtime v0.56.1
[INFO] [stderr]   Downloaded aws-http v0.56.1
[INFO] [stderr]   Downloaded aws-sdk-sts v0.30.0
[INFO] [stderr]   Downloaded serde_tokenstream v0.2.3
[INFO] [stderr]   Downloaded git2 v0.18.3
[INFO] [stderr]   Downloaded regress v0.7.1
[INFO] [stderr]   Downloaded datafusion-substrait v35.0.0
[INFO] [stderr]   Downloaded datafusion-physical-plan v35.0.0
[INFO] [stderr]   Downloaded datafusion-execution v35.0.0
[INFO] [stderr]   Downloaded blake3 v1.5.3
[INFO] [stderr]   Downloaded ordered-float v3.9.2
[INFO] [stderr]   Downloaded lru_time_cache v0.11.11
[INFO] [stderr]   Downloaded datafusion-physical-expr v35.0.0
[INFO] [stderr]   Downloaded aws-sdk-dynamodb v0.34.0
[INFO] [stderr]   Downloaded typify-impl v0.0.15
[INFO] [stderr]   Downloaded datafusion v35.0.0
[INFO] [stderr]   Downloaded datafusion-optimizer v35.0.0
[INFO] [stderr]   Downloaded link-cplusplus v1.0.12
[INFO] [stderr]   Downloaded cxxbridge-flags v1.0.194
[INFO] [stderr]   Downloaded lance v0.10.2
[INFO] [stderr]   Downloaded lance-datagen v0.10.2
[INFO] [stderr]   Downloaded scratch v1.0.9
[INFO] [stderr]   Downloaded cxx-build v1.0.194
[INFO] [stderr]   Downloaded cxxbridge-macro v1.0.194
[INFO] [stderr]   Downloaded cxxbridge-cmd v1.0.194
[INFO] [stderr]   Downloaded cxx v1.0.194
[INFO] [stderr]   Downloaded scraper v0.19.1
[INFO] [stderr]   Downloaded servo_arc v0.3.0
[INFO] [stderr]   Downloaded libz-sys v1.1.25
[INFO] [stderr]   Downloaded selectors v0.25.0
[INFO] [stderr]   Downloaded libgit2-sys v0.16.2+1.7.2
[INFO] [stderr]   Downloaded cssparser v0.31.2
[INFO] [stderr]   Downloaded ego-tree v0.6.3
[INFO] [stderr]   Downloaded kuzu v0.3.2
[INFO] [stderr]   Downloaded boa_engine v0.19.1
[INFO] [stderr]   Downloaded boa_macros v0.19.1
[INFO] [stderr]   Downloaded boa_parser v0.19.1
[INFO] [stderr]   Downloaded boa_ast v0.19.1
[INFO] [stderr]   Downloaded xcap v0.0.12
[INFO] [stderr]   Downloaded boa_string v0.19.1
[INFO] [stderr]   Downloaded boa_profiler v0.19.1
[INFO] [stderr]   Downloaded boa_interner v0.19.1
[INFO] [stderr]   Downloaded boa_gc v0.19.1
[INFO] [stderr]   Downloaded ravif v0.11.20
[INFO] [stderr]   Downloaded bitstream-io v2.6.0
[INFO] [stderr]   Downloaded rav1e v0.7.1
[INFO] [stderr]   Downloaded built v0.7.7
[INFO] [stderr]   Downloaded wiggle-generate v14.0.4
[INFO] [stderr]   Downloaded wasmtime-wasi v14.0.4
[INFO] [stderr]   Downloaded wiggle v14.0.4
[INFO] [stderr]   Downloaded witx v0.9.1
[INFO] [stderr]   Downloaded wast v35.0.2
[INFO] [stderr]   Downloaded wat v1.246.2
[INFO] [stderr]   Downloaded wast v246.0.2
[INFO] [stderr]   Downloaded wasmtime-winch v14.0.4
[INFO] [stderr]   Downloaded wasmtime-component-util v14.0.4
[INFO] [stderr]   Downloaded wiggle-macro v14.0.4
[INFO] [stderr]   Downloaded wasm-encoder v0.246.2
[INFO] [stderr]   Downloaded winch-codegen v0.12.4
[INFO] [stderr]   Downloaded wasmtime-environ v14.0.4
[INFO] [stderr]   Downloaded wasmparser v0.115.0
[INFO] [stderr]   Downloaded wasmprinter v0.2.80
[INFO] [stderr]   Downloaded regalloc2 v0.9.3
[INFO] [stderr]   Downloaded wasmtime-versioned-export-macros v14.0.4
[INFO] [stderr]   Downloaded wasmtime-runtime v14.0.4
[INFO] [stderr]   Downloaded wasmtime-wmemcheck v14.0.4
[INFO] [stderr]   Downloaded wasmtime-jit-debug v14.0.4
[INFO] [stderr]   Downloaded cranelift-entity v0.101.4
[INFO] [stderr]   Downloaded wasmtime-jit-icache-coherence v14.0.4
[INFO] [stderr]   Downloaded wasmtime-types v14.0.4
[INFO] [stderr]   Downloaded wasm-encoder v0.35.0
[INFO] [stderr]   Downloaded cranelift-isle v0.101.4
[INFO] [stderr]   Downloaded cranelift-bforest v0.101.4
[INFO] [stderr]   Downloaded wasmtime-fiber v14.0.4
[INFO] [stderr]   Downloaded cpp_demangle v0.3.5
[INFO] [stderr]   Downloaded wasmtime v14.0.4
[INFO] [stderr]   Downloaded wasmparser v0.246.2
[INFO] [stderr]   Downloaded wasmparser v0.121.2
[INFO] [stderr]   Downloaded cranelift-control v0.101.4
[INFO] [stderr]   Downloaded cranelift-codegen-shared v0.101.4
[INFO] [stderr]   Downloaded cranelift-native v0.101.4
[INFO] [stderr]   Downloaded wasmtime-asm-macros v14.0.4
[INFO] [stderr]   Downloaded ittapi-sys v0.3.5
[INFO] [stderr]   Downloaded cranelift-codegen v0.101.4
[INFO] [stderr]   Downloaded cranelift-codegen-meta v0.101.4
[INFO] [stderr]   Downloaded wasmtime-cranelift-shared v14.0.4
[INFO] [stderr]   Downloaded wasmtime-jit v14.0.4
[INFO] [stderr]   Downloaded ittapi v0.3.5
[INFO] [stderr]   Downloaded cranelift-frontend v0.101.4
[INFO] [stderr]   Downloaded wasmtime-component-macro v14.0.4
[INFO] [stderr]   Downloaded psm v0.1.23
[INFO] [stderr]   Downloaded cap-rand v2.0.2
[INFO] [stderr]   Downloaded cap-fs-ext v2.0.2
[INFO] [stderr]   Downloaded cap-net-ext v2.0.2
[INFO] [stderr]   Downloaded cranelift-wasm v0.101.4
[INFO] [stderr]   Downloaded wit-parser v0.12.2
[INFO] [stderr]   Downloaded wasmtime-wit-bindgen v14.0.4
[INFO] [stderr]   Downloaded wasmtime-cache v14.0.4
[INFO] [stderr]   Downloaded io-extras v0.18.4
[INFO] [stderr]   Downloaded io-lifetimes v2.0.4
[INFO] [stderr]   Downloaded cap-std v2.0.2
[INFO] [stderr]   Downloaded winx v0.36.4
[INFO] [stderr]   Downloaded fs-set-times v0.20.3
[INFO] [stderr]   Downloaded ambient-authority v0.0.2
[INFO] [stderr]   Downloaded wasi-cap-std-sync v14.0.4
[INFO] [stderr]   Downloaded system-interface v0.26.1
[INFO] [stderr]   Downloaded cap-time-ext v2.0.2
[INFO] [stderr]   Downloaded wasmtime-cranelift v14.0.4
[INFO] [stderr]   Downloaded fxprof-processed-profile v0.6.0
[INFO] [stderr]   Downloaded wasi-common v14.0.4
[INFO] [stderr]   Downloaded cap-primitives v2.0.2
[INFO] [stderr]   Downloaded maybe-owned v0.3.4
[INFO] [stderr]   Downloaded stability v0.2.1
[INFO] [stderr]   Downloaded tokenizers v0.19.1
[INFO] [stderr]   Downloaded tree-sitter v0.20.10
[INFO] [stderr]   Downloaded tree-sitter-rust v0.20.4
[INFO] [stderr]   Downloaded ratatui v0.26.3
[INFO] [stderr]   Downloaded utf8-zero v0.8.1
[INFO] [stderr]   Downloaded ureq-proto v0.6.0
[INFO] [stderr]   Downloaded ort v2.0.0-rc.12
[INFO] [stderr]   Downloaded ort-sys v2.0.0-rc.12
[INFO] [stderr]   Downloaded pem-rfc7468 v1.0.0
[INFO] [stderr]   Downloaded ureq v3.3.0
[INFO] [stderr]   Downloaded headless_chrome v1.0.21
[INFO] [stderr]   Downloaded auto_generate_cdp v0.4.6
[INFO] [stderr]   Downloaded ndarray v0.15.6
[INFO] [stderr]   Downloaded async-openai v0.23.4
[INFO] [stderr]   Downloaded async-convert v1.0.0
[INFO] [stderr]   Downloaded reqwest-eventsource v0.6.0
[INFO] [stderr]   Downloaded backoff v0.4.0
[INFO] [stderr]   Downloaded ansi-to-tui v4.1.0
[INFO] [stderr]   Downloaded tui-logger v0.11.2
[INFO] [stderr]   Downloaded aws-sdk-sso v0.30.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:00c5645b54fe3ce5dae1417175e3c7fb6a6646c021d554ecd63a097b8b9f3602" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 55899ba3dfb1342c340bb6479317f718eee63d3addbadc127ecde604a420ef72
[INFO] running `Command { std: "docker" "start" "55899ba3dfb1342c340bb6479317f718eee63d3addbadc127ecde604a420ef72", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "55899ba3dfb1342c340bb6479317f718eee63d3addbadc127ecde604a420ef72", 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" "55899ba3dfb1342c340bb6479317f718eee63d3addbadc127ecde604a420ef72" "/opt/rustwide/cargo-home/bin/cargo" "+c9ff496891c278ad660bc0ab85c1f0b72059464a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "55899ba3dfb1342c340bb6479317f718eee63d3addbadc127ecde604a420ef72", 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" "55899ba3dfb1342c340bb6479317f718eee63d3addbadc127ecde604a420ef72" "/opt/rustwide/cargo-home/bin/cargo" "+c9ff496891c278ad660bc0ab85c1f0b72059464a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] error: can't find bin `test_formal_verifier` at path `/opt/rustwide/workdir/monad/src/bin/test_formal_verifier.rs`
[INFO] [stderr]  --> /opt/rustwide/workdir/monad/Cargo.toml
[INFO] [stderr] error: can't find bin `test_formal_verifier` at path `/opt/rustwide/workdir/monad/src/bin/test_formal_verifier.rs`
[INFO] [stderr]  --> /opt/rustwide/workdir/monad/Cargo.toml
[INFO] [stderr] error: could not compile due to 2 previous target resolution errors
[INFO] running `Command { std: "docker" "inspect" "55899ba3dfb1342c340bb6479317f718eee63d3addbadc127ecde604a420ef72", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "55899ba3dfb1342c340bb6479317f718eee63d3addbadc127ecde604a420ef72", kill_on_drop: false }`
[INFO] [stdout] 55899ba3dfb1342c340bb6479317f718eee63d3addbadc127ecde604a420ef72
