[INFO] fetching crate formally-smt 0.2025.121... [INFO] checking formally-smt-0.2025.121 against try#4907eac94165faff6c5e5e015670b1c584275f7b for pr-154149 [INFO] extracting crate formally-smt 0.2025.121 into /workspace/builds/worker-5-tc2/source [INFO] started tweaking crates.io crate formally-smt 0.2025.121 [INFO] removed 0 missing tests [INFO] finished tweaking crates.io crate formally-smt 0.2025.121 [INFO] tweaked toml for crates.io crate formally-smt 0.2025.121 written to /workspace/builds/worker-5-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate formally-smt 0.2025.121 on toolchain 4907eac94165faff6c5e5e015670b1c584275f7b [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+4907eac94165faff6c5e5e015670b1c584275f7b" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate formally-smt 0.2025.121 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" "+4907eac94165faff6c5e5e015670b1c584275f7b" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+4907eac94165faff6c5e5e015670b1c584275f7b" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stderr] Error response from daemon: mkdir /var/lib/docker/overlay2/8ee776d9d47f29b192b9cb59b617522a6de9d4c32edd2a423a0a7d7a11ccd946-init: no space left on device [INFO] checking formally-smt-0.2025.121 against try#4907eac94165faff6c5e5e015670b1c584275f7b for pr-154149 [INFO] extracting crate formally-smt 0.2025.121 into /workspace/builds/worker-5-tc2/source [INFO] started tweaking crates.io crate formally-smt 0.2025.121 [INFO] removed 0 missing tests [INFO] finished tweaking crates.io crate formally-smt 0.2025.121 [INFO] tweaked toml for crates.io crate formally-smt 0.2025.121 written to /workspace/builds/worker-5-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate formally-smt 0.2025.121 on toolchain 4907eac94165faff6c5e5e015670b1c584275f7b [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+4907eac94165faff6c5e5e015670b1c584275f7b" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate formally-smt 0.2025.121 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" "+4907eac94165faff6c5e5e015670b1c584275f7b" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+4907eac94165faff6c5e5e015670b1c584275f7b" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stderr] Error response from daemon: mkdir /var/lib/docker/overlay2/9427d076ed91d7616e339685280954b5bc949f847daa77eb91ba3d9a40cfad9d-init: no space left on device [INFO] checking formally-smt-0.2025.121 against try#4907eac94165faff6c5e5e015670b1c584275f7b for pr-154149 [INFO] extracting crate formally-smt 0.2025.121 into /workspace/builds/worker-5-tc2/source [INFO] started tweaking crates.io crate formally-smt 0.2025.121 [INFO] removed 0 missing tests [INFO] finished tweaking crates.io crate formally-smt 0.2025.121 [INFO] tweaked toml for crates.io crate formally-smt 0.2025.121 written to /workspace/builds/worker-5-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate formally-smt 0.2025.121 on toolchain 4907eac94165faff6c5e5e015670b1c584275f7b [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+4907eac94165faff6c5e5e015670b1c584275f7b" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate formally-smt 0.2025.121 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" "+4907eac94165faff6c5e5e015670b1c584275f7b" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+4907eac94165faff6c5e5e015670b1c584275f7b" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stderr] Error response from daemon: mkdir /var/lib/docker/overlay2/327c0ca42ebce5b47abbff79e541220b1516242e4d9cd381f5e4606d9dbba416-init: no space left on device [INFO] checking formally-smt-0.2025.121 against try#4907eac94165faff6c5e5e015670b1c584275f7b for pr-154149 [INFO] extracting crate formally-smt 0.2025.121 into /workspace/builds/worker-5-tc2/source [INFO] started tweaking crates.io crate formally-smt 0.2025.121 [INFO] removed 0 missing tests [INFO] finished tweaking crates.io crate formally-smt 0.2025.121 [INFO] tweaked toml for crates.io crate formally-smt 0.2025.121 written to /workspace/builds/worker-5-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate formally-smt 0.2025.121 on toolchain 4907eac94165faff6c5e5e015670b1c584275f7b [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+4907eac94165faff6c5e5e015670b1c584275f7b" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate formally-smt 0.2025.121 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" "+4907eac94165faff6c5e5e015670b1c584275f7b" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+4907eac94165faff6c5e5e015670b1c584275f7b" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stderr] Error response from daemon: mkdir /var/lib/docker/overlay2/98b932ae9a5a20a7f0683fa1fbffaaa2678dfd4e5963089c007c738772890ca3-init: no space left on device [INFO] checking formally-smt-0.2025.121 against try#4907eac94165faff6c5e5e015670b1c584275f7b for pr-154149 [INFO] extracting crate formally-smt 0.2025.121 into /workspace/builds/worker-5-tc2/source [INFO] started tweaking crates.io crate formally-smt 0.2025.121 [INFO] removed 0 missing tests [INFO] finished tweaking crates.io crate formally-smt 0.2025.121 [INFO] tweaked toml for crates.io crate formally-smt 0.2025.121 written to /workspace/builds/worker-5-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate formally-smt 0.2025.121 on toolchain 4907eac94165faff6c5e5e015670b1c584275f7b [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+4907eac94165faff6c5e5e015670b1c584275f7b" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate formally-smt 0.2025.121 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" "+4907eac94165faff6c5e5e015670b1c584275f7b" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+4907eac94165faff6c5e5e015670b1c584275f7b" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stderr] Error response from daemon: mkdir /var/lib/docker/overlay2/8993f5fe4f3fd7f376c1dcfdc350ba685aa8a06415ba63b57fc698a8a07e1b23-init: no space left on device sandbox container could not be created: command failed: exit status: 1 Error response from daemon: mkdir /var/lib/docker/overlay2/8993f5fe4f3fd7f376c1dcfdc350ba685aa8a06415ba63b57fc698a8a07e1b23-init: no space left on device Caused by: command failed: exit status: 1 Error response from daemon: mkdir /var/lib/docker/overlay2/8993f5fe4f3fd7f376c1dcfdc350ba685aa8a06415ba63b57fc698a8a07e1b23-init: no space left on device