[INFO] cloning repository https://github.com/shnarazk/zed-lean4 [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/shnarazk/zed-lean4" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshnarazk%2Fzed-lean4", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshnarazk%2Fzed-lean4'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] ff33ebe350fd889717bbc7d9678e845a632a0687 [INFO] checking shnarazk/zed-lean4 against try#de39175d9e0f63ff8967b81f9639ba28d11ae6ef for pr-135331 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshnarazk%2Fzed-lean4" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/shnarazk/zed-lean4 on toolchain de39175d9e0f63ff8967b81f9639ba28d11ae6ef [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+de39175d9e0f63ff8967b81f9639ba28d11ae6ef" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/shnarazk/zed-lean4 [INFO] finished tweaking git repo https://github.com/shnarazk/zed-lean4 [INFO] tweaked toml for git repo https://github.com/shnarazk/zed-lean4 written to /workspace/builds/worker-4-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/shnarazk/zed-lean4 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" "+de39175d9e0f63ff8967b81f9639ba28d11ae6ef" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+de39175d9e0f63ff8967b81f9639ba28d11ae6ef" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 11cfc81b5559b1d988379ea9545039dc0339b8869449e0645b5e87cdcc045b73 [INFO] running `Command { std: "docker" "start" "-a" "11cfc81b5559b1d988379ea9545039dc0339b8869449e0645b5e87cdcc045b73", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "11cfc81b5559b1d988379ea9545039dc0339b8869449e0645b5e87cdcc045b73", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "11cfc81b5559b1d988379ea9545039dc0339b8869449e0645b5e87cdcc045b73", kill_on_drop: false }` [INFO] [stdout] 11cfc81b5559b1d988379ea9545039dc0339b8869449e0645b5e87cdcc045b73 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/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" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+de39175d9e0f63ff8967b81f9639ba28d11ae6ef" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 173556dadc094b676eb55bb8214fd6b41a15682542c86d7d3727bd18ecdd0944 [INFO] running `Command { std: "docker" "start" "-a" "173556dadc094b676eb55bb8214fd6b41a15682542c86d7d3727bd18ecdd0944", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.92 [INFO] [stderr] Compiling unicode-ident v1.0.14 [INFO] [stderr] Compiling serde v1.0.217 [INFO] [stderr] Compiling semver v1.0.24 [INFO] [stderr] Compiling serde_json v1.0.134 [INFO] [stderr] Compiling hashbrown v0.15.2 [INFO] [stderr] Compiling anyhow v1.0.95 [INFO] [stderr] Compiling equivalent v1.0.1 [INFO] [stderr] Compiling bitflags v2.6.0 [INFO] [stderr] Compiling itoa v1.0.14 [INFO] [stderr] Compiling ryu v1.0.18 [INFO] [stderr] Compiling memchr v2.7.4 [INFO] [stderr] Compiling smallvec v1.13.2 [INFO] [stderr] Compiling unicode-xid v0.2.6 [INFO] [stderr] Compiling id-arena v2.2.1 [INFO] [stderr] Compiling log v0.4.22 [INFO] [stderr] Compiling leb128 v0.2.5 [INFO] [stderr] Compiling wasm-encoder v0.201.0 [INFO] [stderr] Compiling spdx v0.10.8 [INFO] [stderr] Compiling wit-bindgen-rust v0.22.0 [INFO] [stderr] Compiling unicode-segmentation v1.12.0 [INFO] [stderr] Compiling wit-bindgen-rust-macro v0.22.0 [INFO] [stderr] Compiling wit-bindgen-rt v0.22.0 [INFO] [stderr] Compiling zed_extension_api v0.2.0 [INFO] [stderr] Compiling quote v1.0.38 [INFO] [stderr] Compiling syn v2.0.93 [INFO] [stderr] Compiling heck v0.4.1 [INFO] [stderr] Compiling serde_derive v1.0.217 [INFO] [stderr] Compiling indexmap v2.7.0 [INFO] [stderr] Compiling wasmparser v0.201.0 [INFO] [stderr] Compiling wit-parser v0.201.0 [INFO] [stderr] Compiling wasm-metadata v0.201.0 [INFO] [stderr] Compiling wit-component v0.201.0 [INFO] [stderr] Compiling wit-bindgen-core v0.22.0 [INFO] [stderr] rustc-LLVM ERROR: IO failure on output stream: No space left on device [INFO] [stderr] error: could not compile `wit-component` (lib) [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] No space left on device (os error 28) [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] failed to parse process output: `/opt/rustwide/rustup-home/toolchains/de39175d9e0f63ff8967b81f9639ba28d11ae6ef/bin/rustc --crate-name wit_component --edition=2021 /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/wit-component-0.201.0/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata,link -C embed-bitcode=no --deny=unsafe_code '--allow=clippy::all' --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values("dummy-module", "semver-check", "wat"))' -C metadata=9b06c0d9fd1562ab -C extra-filename=-ec6ad05fb7d2944e --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern anyhow=/opt/rustwide/target/debug/deps/libanyhow-5b2b0f9a1fcc2cba.rmeta --extern bitflags=/opt/rustwide/target/debug/deps/libbitflags-8257de363ef7afb0.rmeta --extern indexmap=/opt/rustwide/target/debug/deps/libindexmap-c64adb567761203f.rmeta --extern log=/opt/rustwide/target/debug/deps/liblog-64e4f3632e0a179a.rmeta --extern serde=/opt/rustwide/target/debug/deps/libserde-2c614b6f5b3380e5.rmeta --extern serde_derive=/opt/rustwide/target/debug/deps/libserde_derive-0e16fb76bbc7bf45.so --extern serde_json=/opt/rustwide/target/debug/deps/libserde_json-da0057fdb59447c1.rmeta --extern wasm_encoder=/opt/rustwide/target/debug/deps/libwasm_encoder-51e01eee50d6a115.rmeta --extern wasm_metadata=/opt/rustwide/target/debug/deps/libwasm_metadata-eb8aad2110a3a611.rmeta --extern wasmparser=/opt/rustwide/target/debug/deps/libwasmparser-90bc77e720a087ce.rmeta --extern wit_parser=/opt/rustwide/target/debug/deps/libwit_parser-54582eddc178c14f.rmeta --cap-lints allow --cap-lints=forbid` (exit status: 101) [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error: couldn't create a temp dir: No space left on device (os error 28) at path "/opt/rustwide/target/debug/deps/rmetaPkiNMM" [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `wit-bindgen-rust` (lib) due to 1 previous error [INFO] running `Command { std: "docker" "inspect" "173556dadc094b676eb55bb8214fd6b41a15682542c86d7d3727bd18ecdd0944", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "173556dadc094b676eb55bb8214fd6b41a15682542c86d7d3727bd18ecdd0944", kill_on_drop: false }` [INFO] [stdout] 173556dadc094b676eb55bb8214fd6b41a15682542c86d7d3727bd18ecdd0944