[INFO] cloning repository https://github.com/uestc-sec/move [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/uestc-sec/move" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fuestc-sec%2Fmove", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fuestc-sec%2Fmove'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 5f3785b6d7f032c9bafc456b01cbdf9ac6a3a9d9 [INFO] testing uestc-sec/move against master#d933cf483edf1605142ac6899ff32536c0ad8b22 for pr-150933 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fuestc-sec%2Fmove" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'... [INFO] [stderr] done. [INFO] removed /workspace/builds/worker-1-tc1/source/.cargo/config [INFO] removed /workspace/builds/worker-1-tc1/source/rust-toolchain [INFO] started tweaking git repo https://github.com/uestc-sec/move [INFO] finished tweaking git repo https://github.com/uestc-sec/move [INFO] tweaked toml for git repo https://github.com/uestc-sec/move written to /workspace/builds/worker-1-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/uestc-sec/move on toolchain d933cf483edf1605142ac6899ff32536c0ad8b22 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d933cf483edf1605142ac6899ff32536c0ad8b22" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/uestc-sec/move 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" "+d933cf483edf1605142ac6899ff32536c0ad8b22" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] warning: /workspace/builds/worker-1-tc1/source/language/move-prover/lab/Cargo.toml: `default_features` is deprecated in favor of `default-features` and will not work in the 2024 edition [INFO] [stderr] (in the `plotters` dependency) [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Updating crates.io index [INFO] [stderr] Updating git repository `https://github.com/diem/diem-devtools` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded ouroboros v0.9.3 [INFO] [stderr] Downloaded arbitrary v1.1.7 [INFO] [stderr] Downloaded prettydiff v0.4.0 [INFO] [stderr] Downloaded ouroboros_macro v0.9.3 [INFO] [stderr] Downloaded lsp-server v0.5.2 [INFO] [stderr] Downloaded ethnum v1.0.4 [INFO] [stderr] Downloaded dissimilar v1.0.3 [INFO] [stderr] Downloaded duct v0.13.5 [INFO] [stderr] Downloaded os_pipe v0.9.2 [INFO] [stderr] Downloaded simplelog v0.9.0 [INFO] [stderr] Downloaded colored-diff v0.2.3 [INFO] [stderr] Downloaded ctrlc v3.2.1 [INFO] [stderr] Downloaded debug-ignore v1.0.1 [INFO] [stderr] Downloaded proptest-derive v0.3.0 [INFO] [stderr] Downloaded owo-colors v3.2.0 [INFO] [stderr] Downloaded cfg-expr v0.9.0 [INFO] [stderr] Downloaded guppy v0.12.6 [INFO] [stderr] Downloaded libfuzzer-sys v0.4.4 [INFO] [stderr] Downloaded x25519-dalek-fiat v0.1.0 [INFO] [stderr] Downloaded ptree v0.4.0 [INFO] [stderr] Downloaded trybuild v1.0.53 [INFO] [stderr] Downloaded lsp-types v0.90.1 [INFO] [stderr] Downloaded fiat-crypto v0.1.6 [INFO] [stderr] Downloaded tera v1.16.0 [INFO] [stderr] Downloaded pomelo-impl v0.1.5 [INFO] [stderr] Downloaded ed25519-dalek-fiat v0.1.0 [INFO] [stderr] Downloaded evm v0.33.1 [INFO] [stderr] Downloaded evm-core v0.33.0 [INFO] [stderr] Downloaded curve25519-dalek-fiat v0.1.0 [INFO] [stderr] Downloaded ethabi v17.0.0 [INFO] [stderr] Downloaded internment v0.5.0 [INFO] [stderr] Downloaded determinator v0.7.0 [INFO] [stderr] Downloaded camino v1.0.5 [INFO] [stderr] Downloaded target-spec v0.9.0 [INFO] [stderr] Downloaded serde-name v0.1.2 [INFO] [stderr] Downloaded datatest-stable v0.1.1 [INFO] [stderr] Downloaded smt2parser v0.1.0 [INFO] [stderr] Downloaded memory-stats v1.0.0 [INFO] [stderr] Downloaded pomelo v0.1.5 [INFO] [stderr] Downloaded serde-reflection v0.3.5 [INFO] [stderr] Downloaded guppy-workspace-hack v0.1.0 [INFO] [stderr] Downloaded criterion-cpu-time v0.1.0 [INFO] [stderr] Downloaded evm-runtime v0.33.0 [INFO] [stderr] Downloaded shared_child v0.3.5 [INFO] [stderr] Downloaded diffus v0.10.0 [INFO] [stderr] Downloaded ethereum v0.11.1 [INFO] [stderr] Downloaded bcs v0.1.4 [INFO] [stderr] Downloaded guppy-summaries v0.6.1 [INFO] [stderr] Downloaded evm-gasometer v0.33.0 [INFO] [stderr] Downloaded derive_arbitrary v1.1.6 [INFO] [stderr] Downloaded fst v0.4.5 [INFO] [stderr] Downloaded z3tracer v0.8.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/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:cfa559dde23f44738f9990739aaa3487d8df3af37eb5df0572f7cf76004a604a" "/opt/rustwide/cargo-home/bin/cargo" "+d933cf483edf1605142ac6899ff32536c0ad8b22" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stderr] Error response from daemon: mkdir /var/lib/docker/overlay2/7750d93a0aae1bce06c4bd0bc1e21ecc158e871741a16c954bb0e06c2f64fe0b-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/7750d93a0aae1bce06c4bd0bc1e21ecc158e871741a16c954bb0e06c2f64fe0b-init: no space left on device Caused by: command failed: exit status: 1 Error response from daemon: mkdir /var/lib/docker/overlay2/7750d93a0aae1bce06c4bd0bc1e21ecc158e871741a16c954bb0e06c2f64fe0b-init: no space left on device