[INFO] cloning repository https://github.com/MCB-SMART-BOY/isabelle-rs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/MCB-SMART-BOY/isabelle-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMCB-SMART-BOY%2Fisabelle-rs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMCB-SMART-BOY%2Fisabelle-rs'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 65525ed32888bd77867c2f6f5af18b491d9c11ff
[INFO] checking MCB-SMART-BOY/isabelle-rs against 3154cc1a3e6424e44f438a95007d043ed5ceaaf6+rustflags=-Znext-solver=coherence for pr-133502-30
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FMCB-SMART-BOY%2Fisabelle-rs" "/workspace/builds/worker-2-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/MCB-SMART-BOY/isabelle-rs
[INFO] finished tweaking git repo https://github.com/MCB-SMART-BOY/isabelle-rs
[INFO] tweaked toml for git repo https://github.com/MCB-SMART-BOY/isabelle-rs written to /workspace/builds/worker-2-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/MCB-SMART-BOY/isabelle-rs 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/MCB-SMART-BOY/isabelle-rs 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] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded wat v1.252.0
[INFO] [stderr]   Downloaded wasm-encoder v0.252.0
[INFO] [stderr]   Downloaded wasmtime-math v29.0.1
[INFO] [stderr]   Downloaded cranelift-control v0.116.1
[INFO] [stderr]   Downloaded wasmtime-jit-icache-coherence v29.0.1
[INFO] [stderr]   Downloaded is-terminal v0.4.17
[INFO] [stderr]   Downloaded cranelift-bitset v0.116.1
[INFO] [stderr]   Downloaded directories-next v2.0.0
[INFO] [stderr]   Downloaded sptr v0.3.2
[INFO] [stderr]   Downloaded wasmtime-asm-macros v29.0.1
[INFO] [stderr]   Downloaded wasmtime-winch v29.0.1
[INFO] [stderr]   Downloaded wasmtime-component-util v29.0.1
[INFO] [stderr]   Downloaded wasmtime-jit-debug v29.0.1
[INFO] [stderr]   Downloaded cranelift-native v0.116.1
[INFO] [stderr]   Downloaded wasmtime-slab v29.0.1
[INFO] [stderr]   Downloaded wasmtime-versioned-export-macros v29.0.1
[INFO] [stderr]   Downloaded debugid v0.8.0
[INFO] [stderr]   Downloaded trait-variant v0.1.2
[INFO] [stderr]   Downloaded ittapi v0.4.0
[INFO] [stderr]   Downloaded cranelift-codegen-shared v0.116.1
[INFO] [stderr]   Downloaded leb128 v0.2.7
[INFO] [stderr]   Downloaded cranelift-entity v0.116.1
[INFO] [stderr]   Downloaded wasmtime-fiber v29.0.1
[INFO] [stderr]   Downloaded wasmtime-wit-bindgen v29.0.1
[INFO] [stderr]   Downloaded wasmtime-cache v29.0.1
[INFO] [stderr]   Downloaded wasmprinter v0.221.3
[INFO] [stderr]   Downloaded fxprof-processed-profile v0.6.0
[INFO] [stderr]   Downloaded rustc-demangle v0.1.27
[INFO] [stderr]   Downloaded cranelift-bforest v0.116.1
[INFO] [stderr]   Downloaded cranelift-frontend v0.116.1
[INFO] [stderr]   Downloaded pulley-interpreter v29.0.1
[INFO] [stderr]   Downloaded rowan v0.15.18
[INFO] [stderr]   Downloaded wasm-encoder v0.221.3
[INFO] [stderr]   Downloaded cranelift-isle v0.116.1
[INFO] [stderr]   Downloaded cranelift-codegen-meta v0.116.1
[INFO] [stderr]   Downloaded ar_archive_writer v0.5.2
[INFO] [stderr]   Downloaded cpp_demangle v0.4.5
[INFO] [stderr]   Downloaded winch-codegen v29.0.1
[INFO] [stderr]   Downloaded wast v252.0.0
[INFO] [stderr]   Downloaded regalloc2 v0.11.2
[INFO] [stderr]   Downloaded wit-parser v0.221.3
[INFO] [stderr]   Downloaded wasmtime-cranelift v29.0.1
[INFO] [stderr]   Downloaded ittapi-sys v0.4.0
[INFO] [stderr]   Downloaded wasmtime-environ v29.0.1
[INFO] [stderr]   Downloaded wasmtime-component-macro v29.0.1
[INFO] [stderr]   Downloaded wasmparser v0.252.0
[INFO] [stderr]   Downloaded web-sys v0.3.102
[INFO] [stderr]   Downloaded wasmtime v29.0.1
[INFO] [stderr]   Downloaded cranelift-codegen v0.116.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] a1260f2abbec804b837ad13520095bfdbf6c4ed410d3759ed742863616a1a439
[INFO] running `Command { std: "docker" "start" "a1260f2abbec804b837ad13520095bfdbf6c4ed410d3759ed742863616a1a439", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "a1260f2abbec804b837ad13520095bfdbf6c4ed410d3759ed742863616a1a439", 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" "a1260f2abbec804b837ad13520095bfdbf6c4ed410d3759ed742863616a1a439" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "a1260f2abbec804b837ad13520095bfdbf6c4ed410d3759ed742863616a1a439", 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 -Znext-solver=coherence" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-w" "/opt/rustwide/workdir" "--user" "0:0" "a1260f2abbec804b837ad13520095bfdbf6c4ed410d3759ed742863616a1a439" "/opt/rustwide/cargo-home/bin/cargo" "+3154cc1a3e6424e44f438a95007d043ed5ceaaf6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling zerocopy v0.8.52
[INFO] [stderr]     Checking bitflags v2.13.0
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling ahash v0.8.12
[INFO] [stderr]    Compiling serde_json v1.0.150
[INFO] [stderr]     Checking hashbrown v0.15.5
[INFO] [stderr]    Compiling cranelift-isle v0.116.1
[INFO] [stderr]    Compiling target-lexicon v0.13.5
[INFO] [stderr]    Compiling syn v2.0.118
[INFO] [stderr]    Compiling jobserver v0.1.34
[INFO] [stderr]     Checking bumpalo v3.20.3
[INFO] [stderr]    Compiling cranelift-codegen-shared v0.116.1
[INFO] [stderr]    Compiling crossbeam-utils v0.8.21
[INFO] [stderr]    Compiling crc32fast v1.5.0
[INFO] [stderr]     Checking either v1.16.0
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling cranelift-codegen-meta v0.116.1
[INFO] [stderr]    Compiling object v0.36.7
[INFO] [stderr]    Compiling rustix v0.38.44
[INFO] [stderr]    Compiling wasmparser v0.221.3
[INFO] [stderr]     Checking arbitrary v1.4.2
[INFO] [stderr]    Compiling cc v1.2.65
[INFO] [stderr]     Checking rustc-hash v2.1.2
[INFO] [stderr]    Compiling cpp_demangle v0.4.5
[INFO] [stderr]    Compiling zstd-safe v7.2.4
[INFO] [stderr]    Compiling memchr v2.8.2
[INFO] [stderr]     Checking crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling semver v1.0.28
[INFO] [stderr]     Checking linux-raw-sys v0.4.15
[INFO] [stderr]    Compiling id-arena v2.3.0
[INFO] [stderr]     Checking leb128fmt v0.1.0
[INFO] [stderr]     Checking crossbeam-deque v0.8.6
[INFO] [stderr]     Checking leb128 v0.2.7
[INFO] [stderr]    Compiling unicode-xid v0.2.6
[INFO] [stderr]     Checking wasm-encoder v0.252.0
[INFO] [stderr]     Checking wasm-encoder v0.221.3
[INFO] [stderr]     Checking rayon-core v1.13.0
[INFO] [stderr]     Checking cranelift-control v0.116.1
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]     Checking getrandom v0.4.3
[INFO] [stderr]     Checking dirs-sys-next v0.1.2
[INFO] [stderr]    Compiling memoffset v0.9.1
[INFO] [stderr]     Checking rustc-demangle v0.1.27
[INFO] [stderr]     Checking uuid v1.23.3
[INFO] [stderr]    Compiling wasmtime-component-macro v29.0.1
[INFO] [stderr]     Checking fastrand v2.4.1
[INFO] [stderr]    Compiling wasmtime-cache v29.0.1
[INFO] [stderr]     Checking wasmtime-component-util v29.0.1
[INFO] [stderr]     Checking rayon v1.12.0
[INFO] [stderr]     Checking sha2 v0.10.9
[INFO] [stderr]     Checking debugid v0.8.0
[INFO] [stderr]     Checking directories-next v2.0.0
[INFO] [stderr]     Checking itertools v0.12.1
[INFO] [stderr]     Checking wait-timeout v0.2.1
[INFO] [stderr]     Checking wasmtime-asm-macros v29.0.1
[INFO] [stderr]     Checking bit-vec v0.8.0
[INFO] [stderr]     Checking quick-error v1.2.3
[INFO] [stderr]     Checking wasmtime-math v29.0.1
[INFO] [stderr]     Checking rand_xorshift v0.4.0
[INFO] [stderr]     Checking rand v0.9.4
[INFO] [stderr]     Checking wasmtime-jit-icache-coherence v29.0.1
[INFO] [stderr]     Checking bit-set v0.8.0
[INFO] [stderr]     Checking thread_local v1.1.9
[INFO] [stderr]     Checking countme v3.0.1
[INFO] [stderr]     Checking sptr v0.3.2
[INFO] [stderr]     Checking rustc-hash v1.1.0
[INFO] [stderr]     Checking text-size v1.1.1
[INFO] [stderr]     Checking unarray v0.1.4
[INFO] [stderr]     Checking wast v252.0.0
[INFO] [stderr]     Checking wasmtime-slab v29.0.1
[INFO] [stderr]     Checking bytes v1.12.0
[INFO] [stderr]     Checking plotters-backend v0.3.7
[INFO] [stderr]     Checking ciborium-io v0.2.2
[INFO] [stderr]     Checking regex-automata v0.4.14
[INFO] [stderr]    Compiling zstd-sys v2.0.16+zstd.1.5.7
[INFO] [stderr]    Compiling ittapi-sys v0.4.0
[INFO] [stderr]    Compiling libsqlite3-sys v0.30.1
[INFO] [stderr]     Checking plotters-svg v0.3.7
[INFO] [stderr]     Checking indexmap v2.14.0
[INFO] [stderr]     Checking tempfile v3.27.0
[INFO] [stderr]     Checking memfd v0.6.5
[INFO] [stderr]     Checking itertools v0.10.5
[INFO] [stderr]     Checking cast v0.3.0
[INFO] [stderr]     Checking rusty-fork v0.3.1
[INFO] [stderr]     Checking plotters v0.3.7
[INFO] [stderr]     Checking is-terminal v0.4.17
[INFO] [stderr]     Checking anes v0.1.6
[INFO] [stderr]     Checking oorandom v11.1.5
[INFO] [stderr]     Checking ittapi v0.4.0
[INFO] [stderr]    Compiling cranelift-codegen v0.116.1
[INFO] [stderr]     Checking gimli v0.31.1
[INFO] [stderr]     Checking regex v1.12.4
[INFO] [stderr]     Checking criterion-plot v0.5.0
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling zerocopy-derive v0.8.52
[INFO] [stderr]    Compiling wasmtime-versioned-export-macros v29.0.1
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling clap_derive v4.6.1
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling tokio-macros v2.7.0
[INFO] [stderr]    Compiling wasmtime-fiber v29.0.1
[INFO] [stderr]    Compiling wasmtime v29.0.1
[INFO] [stderr]    Compiling trait-variant v0.1.2
[INFO] [stderr]    Compiling async-trait v0.1.89
[INFO] [stderr] error: could not compile `wast` (lib)
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/bin/rustc --crate-name wast --edition=2024 /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/wast-252.0.0/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat,unused-externs-silent --crate-type lib --emit=dep-info,metadata -C embed-bitcode=no -C debuginfo=2 --cfg 'feature="component-model"' --cfg 'feature="wasm-module"' --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values("component-model", "default", "dwarf", "wasm-module"))' -C metadata=f691ca6a7e985a19 -C extra-filename=-8a827619b5f3609f --out-dir /opt/rustwide/target/debug/build/wast/8a827619b5f3609f/out -L dependency=/opt/rustwide/target/debug/build/allocator-api2/320a7223f6faf4b8/out -L dependency=/opt/rustwide/target/debug/build/leb128fmt/f27531237ab6d9d8/out --extern bumpalo=/opt/rustwide/target/debug/build/bumpalo/98ab8948d0e8823a/out/libbumpalo-98ab8948d0e8823a.rmeta --extern leb128fmt=/opt/rustwide/target/debug/build/leb128fmt/f27531237ab6d9d8/out/libleb128fmt-f27531237ab6d9d8.rmeta --extern memchr=/opt/rustwide/target/debug/build/memchr/fa409d9d46367e7c/out/libmemchr-fa409d9d46367e7c.rmeta --extern unicode_width=/opt/rustwide/target/debug/build/unicode-width/d240299c8c3a1bab/out/libunicode_width-d240299c8c3a1bab.rmeta --extern wasm_encoder=/opt/rustwide/target/debug/build/wasm-encoder/d164e9062c7ac400/out/libwasm_encoder-d164e9062c7ac400.rmeta --cap-lints allow --cap-lints=forbid -Znext-solver=coherence --force-warn=unused_crate_dependencies` (signal: 9, SIGKILL: kill)
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stderr] error: could not compile `wasmparser` (lib)
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/3154cc1a3e6424e44f438a95007d043ed5ceaaf6/bin/rustc --crate-name wasmparser --edition=2021 /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/wasmparser-0.221.3/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat,unused-externs-silent --crate-type lib --emit=dep-info,metadata,link -Z embed-metadata=no -C embed-bitcode=no --cfg 'feature="component-model"' --cfg 'feature="simd"' --cfg 'feature="std"' --cfg 'feature="validate"' --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values("component-model", "default", "features", "hash-collections", "prefer-btree-collections", "serde", "simd", "std", "validate"))' -C metadata=5671fb452d835f2a -C extra-filename=-63b0972516ebc40e --out-dir /opt/rustwide/target/debug/build/wasmparser/63b0972516ebc40e/out --extern bitflags=/opt/rustwide/target/debug/build/bitflags/1988f01ae0fa008f/out/libbitflags-1988f01ae0fa008f.rmeta --extern semver=/opt/rustwide/target/debug/build/semver/571ff6092affc671/out/libsemver-571ff6092affc671.rmeta --cap-lints allow --cap-lints=forbid -Znext-solver=coherence --force-warn=unused_crate_dependencies --cfg core_error --check-cfg 'cfg(core_error)'` (signal: 9, SIGKILL: kill)
[INFO] running `Command { std: "docker" "inspect" "a1260f2abbec804b837ad13520095bfdbf6c4ed410d3759ed742863616a1a439", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a1260f2abbec804b837ad13520095bfdbf6c4ed410d3759ed742863616a1a439", kill_on_drop: false }`
[INFO] [stdout] a1260f2abbec804b837ad13520095bfdbf6c4ed410d3759ed742863616a1a439
