[INFO] cloning repository https://github.com/clemsys/verus-linked-list [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/clemsys/verus-linked-list" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fclemsys%2Fverus-linked-list", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fclemsys%2Fverus-linked-list'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 4732972b81280a2ce2f65d570e0f2b586b3e299b [INFO] testing clemsys/verus-linked-list against try#ed7f3d77595b4831fdf085f2529aa13b5b51ff7d for pr-134530 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fclemsys%2Fverus-linked-list" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/clemsys/verus-linked-list on toolchain ed7f3d77595b4831fdf085f2529aa13b5b51ff7d [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ed7f3d77595b4831fdf085f2529aa13b5b51ff7d" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/clemsys/verus-linked-list [INFO] finished tweaking git repo https://github.com/clemsys/verus-linked-list [INFO] tweaked toml for git repo https://github.com/clemsys/verus-linked-list written to /workspace/builds/worker-5-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/clemsys/verus-linked-list 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" "+ed7f3d77595b4831fdf085f2529aa13b5b51ff7d" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Updating git repository `https://github.com/verus-lang/verus.git` [INFO] [stderr] warning: spurious network error (3 tries remaining): cannot extend packfile '/workspace/cargo-home/git/db/verus-e4ebf515fa1de14c/objects/pack/pack_git2_bdf7fdfdc4fa1c9b': No space left on device; class=Os (2) [INFO] [stderr] warning: spurious network error (2 tries remaining): cannot extend packfile '/workspace/cargo-home/git/db/verus-e4ebf515fa1de14c/objects/pack/pack_git2_66e2cf93239aa8e4': No space left on device; class=Os (2) [INFO] [stderr] warning: spurious network error (1 tries remaining): cannot extend packfile '/workspace/cargo-home/git/db/verus-e4ebf515fa1de14c/objects/pack/pack_git2_dc0f953c32972f25': No space left on device; class=Os (2) [INFO] [stderr] error: failed to get `builtin` as a dependency of package `verus_linked_list v0.1.0 (/workspace/builds/worker-5-tc2/source)` [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] failed to load source for dependency `builtin` [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] Unable to update https://github.com/verus-lang/verus.git#c385ec7b [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] failed to fetch into: /workspace/cargo-home/git/db/verus-e4ebf515fa1de14c [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] revision c385ec7b28bfbf82d0daedab8edf92bd43ca1970 not found [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] cannot extend packfile '/workspace/cargo-home/git/db/verus-e4ebf515fa1de14c/objects/pack/pack_git2_d8e9b91a3bf3dd00': No space left on device; class=Os (2) [INFO] testing clemsys/verus-linked-list against try#ed7f3d77595b4831fdf085f2529aa13b5b51ff7d for pr-134530 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fclemsys%2Fverus-linked-list" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'... [INFO] [stderr] /workspace/builds/worker-5-tc2/source/.git/refs/heads: No space left on device [INFO] testing clemsys/verus-linked-list against try#ed7f3d77595b4831fdf085f2529aa13b5b51ff7d for pr-134530 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fclemsys%2Fverus-linked-list" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'... [INFO] [stderr] error: copy-fd: write returned: No space left on device [INFO] [stderr] fatal: cannot copy '/usr/share/git-core/templates/hooks/prepare-commit-msg.sample' to '/workspace/builds/worker-5-tc2/source/.git/hooks/prepare-commit-msg.sample': No space left on device [INFO] testing clemsys/verus-linked-list against try#ed7f3d77595b4831fdf085f2529aa13b5b51ff7d for pr-134530 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fclemsys%2Fverus-linked-list" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'... [INFO] [stderr] /workspace/builds/worker-5-tc2/source/.git/info/: No space left on device [INFO] testing clemsys/verus-linked-list against try#ed7f3d77595b4831fdf085f2529aa13b5b51ff7d for pr-134530 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fclemsys%2Fverus-linked-list" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] fatal: update_ref failed for ref 'HEAD': cannot update the ref 'refs/heads/master': unable to append to '/workspace/builds/worker-5-tc2/source/.git/logs/refs/heads/master': No space left on device ExecutionFailed(ExitStatus(unix_wait_status(32768))) failed to checkout https://github.com/clemsys/verus-linked-list