[INFO] cloning repository https://github.com/simsekgokhan/move-0L [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/simsekgokhan/move-0L" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsimsekgokhan%2Fmove-0L", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsimsekgokhan%2Fmove-0L'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] f7903c03e1342342f49505f2bb25aefba4a55f7d [INFO] checking simsekgokhan/move-0L against master#f21fbac535ab2c3bc50db20547f4d48477357103 for pr-143193 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsimsekgokhan%2Fmove-0L" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'... [INFO] [stderr] done. [INFO] removed /workspace/builds/worker-4-tc1/source/.cargo/config [INFO] removed /workspace/builds/worker-4-tc1/source/rust-toolchain [INFO] started tweaking git repo https://github.com/simsekgokhan/move-0L [INFO] finished tweaking git repo https://github.com/simsekgokhan/move-0L [INFO] tweaked toml for git repo https://github.com/simsekgokhan/move-0L written to /workspace/builds/worker-4-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/simsekgokhan/move-0L on toolchain f21fbac535ab2c3bc50db20547f4d48477357103 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f21fbac535ab2c3bc50db20547f4d48477357103" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/simsekgokhan/move-0L 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" "+f21fbac535ab2c3bc50db20547f4d48477357103" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] warning: /workspace/builds/worker-4-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 git repository `https://github.com/diem/diem-devtools` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Updating git repository `https://github.com/OLSF/libra` [INFO] [stderr] warning: spurious network error (3 tries remaining): cannot extend packfile '/workspace/cargo-home/git/db/libra-bbcec54bfb4ed81f/objects/pack/pack_git2_032184337e253771': No space left on device; class=Os (2) [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded ouroboros v0.9.3 [INFO] [stderr] Downloaded derive_arbitrary v1.1.6 [INFO] [stderr] Downloaded datatest-stable v0.1.1 [INFO] [stderr] Downloaded dashmap v3.11.10 [INFO] [stderr] Downloaded internment v0.5.0 [INFO] [stderr] Downloaded ouroboros_macro v0.9.3 [INFO] [stderr] Downloaded prettydiff v0.4.0 [INFO] [stderr] Downloaded arbitrary v1.1.7 [INFO] [stderr] Downloaded ethnum v1.0.4 [INFO] [stderr] Downloaded serde_repr v0.1.6 [INFO] [stderr] Downloaded criterion-cpu-time v0.1.0 [INFO] [stderr] Downloaded serde-name v0.1.2 [INFO] [stderr] Downloaded pomelo-impl v0.1.5 [INFO] [stderr] Downloaded guppy-summaries v0.6.1 [INFO] [stderr] Downloaded shared_child v0.3.5 [INFO] [stderr] Downloaded owo-colors v3.2.0 [INFO] [stderr] Downloaded duct v0.13.5 [INFO] [stderr] Downloaded dissimilar v1.0.3 [INFO] [stderr] Downloaded tera v1.16.0 [INFO] [stderr] Downloaded x25519-dalek-fiat v0.1.0 [INFO] [stderr] Downloaded libfuzzer-sys v0.4.4 [INFO] [stderr] Downloaded guppy v0.12.6 [INFO] [stderr] Downloaded ethereum v0.11.1 [INFO] [stderr] Downloaded debug-ignore v1.0.1 [INFO] [stderr] Downloaded target-spec v0.9.0 [INFO] [stderr] Downloaded trybuild v1.0.53 [INFO] [stderr] Downloaded lsp-types v0.90.1 [INFO] [stderr] Downloaded memory-stats v1.0.0 [INFO] [stderr] Downloaded evm v0.33.1 [INFO] [stderr] Downloaded fiat-crypto v0.1.6 [INFO] [stderr] Downloaded httpmock v0.6.6 [INFO] [stderr] Downloaded evm-core v0.33.0 [INFO] [stderr] Downloaded file_diff v1.0.0 [INFO] [stderr] Downloaded determinator v0.7.0 [INFO] [stderr] Downloaded lsp-server v0.5.2 [INFO] [stderr] Downloaded serde-reflection v0.3.5 [INFO] [stderr] Downloaded evm-gasometer v0.33.0 [INFO] [stderr] Downloaded evm-runtime v0.33.0 [INFO] [stderr] Downloaded ethabi v17.0.0 [INFO] [stderr] Downloaded pomelo v0.1.5 [INFO] [stderr] Downloaded smt2parser v0.1.0 [INFO] [stderr] Downloaded fst v0.4.5 [INFO] [stderr] Downloaded plotters v0.3.0 [INFO] [stderr] Downloaded curl-sys v0.4.56+curl-7.83.1 [INFO] [stderr] error: failed to unpack package `curl-sys v0.4.56+curl-7.83.1` [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] failed to unpack entry at `curl-sys-0.4.56+curl-7.83.1/curl/lib/pop3.c` [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] failed to unpack `/workspace/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/curl-sys-0.4.56+curl-7.83.1/curl/lib/pop3.c` [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] failed to unpack `curl-sys-0.4.56+curl-7.83.1/curl/lib/pop3.c` into `/workspace/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/curl-sys-0.4.56+curl-7.83.1/curl/lib/pop3.c` [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] No space left on device (os error 28) command failed: exit status: 101 warning: /workspace/builds/worker-4-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 (in the `plotters` dependency) Blocking waiting for file lock on package cache Updating git repository `https://github.com/diem/diem-devtools` Updating crates.io index Updating git repository `https://github.com/OLSF/libra` warning: spurious network error (3 tries remaining): cannot extend packfile '/workspace/cargo-home/git/db/libra-bbcec54bfb4ed81f/objects/pack/pack_git2_032184337e253771': No space left on device; class=Os (2) Blocking waiting for file lock on package cache Downloading crates ... Downloaded ouroboros v0.9.3 Downloaded derive_arbitrary v1.1.6 Downloaded datatest-stable v0.1.1 Downloaded dashmap v3.11.10 Downloaded internment v0.5.0 Downloaded ouroboros_macro v0.9.3 Downloaded prettydiff v0.4.0 Downloaded arbitrary v1.1.7 Downloaded ethnum v1.0.4 Downloaded serde_repr v0.1.6 Downloaded criterion-cpu-time v0.1.0 Downloaded serde-name v0.1.2 Downloaded pomelo-impl v0.1.5 Downloaded guppy-summaries v0.6.1 Downloaded shared_child v0.3.5 Downloaded owo-colors v3.2.0 Downloaded duct v0.13.5 Downloaded dissimilar v1.0.3 Downloaded tera v1.16.0 Downloaded x25519-dalek-fiat v0.1.0 Downloaded libfuzzer-sys v0.4.4 Downloaded guppy v0.12.6 Downloaded ethereum v0.11.1 Downloaded debug-ignore v1.0.1 Downloaded target-spec v0.9.0 Downloaded trybuild v1.0.53 Downloaded lsp-types v0.90.1 Downloaded memory-stats v1.0.0 Downloaded evm v0.33.1 Downloaded fiat-crypto v0.1.6 Downloaded httpmock v0.6.6 Downloaded evm-core v0.33.0 Downloaded file_diff v1.0.0 Downloaded determinator v0.7.0 Downloaded lsp-server v0.5.2 Downloaded serde-reflection v0.3.5 Downloaded evm-gasometer v0.33.0 Downloaded evm-runtime v0.33.0 Downloaded ethabi v17.0.0 Downloaded pomelo v0.1.5 Downloaded smt2parser v0.1.0 Downloaded fst v0.4.5 Downloaded plotters v0.3.0 Downloaded curl-sys v0.4.56+curl-7.83.1 error: failed to unpack package `curl-sys v0.4.56+curl-7.83.1` Caused by: failed to unpack entry at `curl-sys-0.4.56+curl-7.83.1/curl/lib/pop3.c` Caused by: failed to unpack `/workspace/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/curl-sys-0.4.56+curl-7.83.1/curl/lib/pop3.c` Caused by: failed to unpack `curl-sys-0.4.56+curl-7.83.1/curl/lib/pop3.c` into `/workspace/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/curl-sys-0.4.56+curl-7.83.1/curl/lib/pop3.c` Caused by: No space left on device (os error 28)