[INFO] cloning repository https://github.com/vasilevlaicu/secured-rust
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/vasilevlaicu/secured-rust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust'...
[INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust/objects/info: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 1)
[INFO] cloning repository https://github.com/vasilevlaicu/secured-rust
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/vasilevlaicu/secured-rust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust'...
[INFO] [stderr] error: copy-fd: write returned: No space left on device
[INFO] [stderr] fatal: cannot copy '/usr/share/git-core/templates/hooks/applypatch-msg.sample' to '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust/hooks/applypatch-msg.sample': No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 2)
[INFO] cloning repository https://github.com/vasilevlaicu/secured-rust
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/vasilevlaicu/secured-rust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust'...
[INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 3)
[INFO] cloning repository https://github.com/vasilevlaicu/secured-rust
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/vasilevlaicu/secured-rust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust'...
[INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 4)
[INFO] cloning repository https://github.com/vasilevlaicu/secured-rust
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/vasilevlaicu/secured-rust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust'...
[INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 5)
[INFO] cloning repository https://github.com/vasilevlaicu/secured-rust
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/vasilevlaicu/secured-rust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust'...
[INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 6)
[INFO] cloning repository https://github.com/vasilevlaicu/secured-rust
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/vasilevlaicu/secured-rust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust'...
[INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 7)
[INFO] cloning repository https://github.com/vasilevlaicu/secured-rust
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/vasilevlaicu/secured-rust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust'...
[INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 8)
[INFO] cloning repository https://github.com/vasilevlaicu/secured-rust
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/vasilevlaicu/secured-rust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust'...
[INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 9)
[INFO] cloning repository https://github.com/vasilevlaicu/secured-rust
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/vasilevlaicu/secured-rust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust'...
[INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 10)
[INFO] cloning repository https://github.com/vasilevlaicu/secured-rust
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/vasilevlaicu/secured-rust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust'...
[INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 11)
[INFO] cloning repository https://github.com/vasilevlaicu/secured-rust
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/vasilevlaicu/secured-rust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust'...
[INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 12)
[INFO] cloning repository https://github.com/vasilevlaicu/secured-rust
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/vasilevlaicu/secured-rust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust'...
[INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 13)
[INFO] cloning repository https://github.com/vasilevlaicu/secured-rust
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/vasilevlaicu/secured-rust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 52f5fc627a50656aa2637117e8c4f44dab29ccb3
[INFO] checking vasilevlaicu/secured-rust against try#a3dffdb3a32d0dedc198f9de7d43173f3eb6727b for pr-136303
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to create directory for '/workspace/builds/worker-3-tc2/source/.git/logs/refs/remotes/origin/HEAD': No such file or directory
[INFO] [stderr] error: unable to write symref for refs/remotes/origin/HEAD: No space left on device
[INFO] [stderr] fatal: unable to update refs/remotes/origin/HEAD
[INFO] checking vasilevlaicu/secured-rust against try#a3dffdb3a32d0dedc198f9de7d43173f3eb6727b for pr-136303
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to append to '/workspace/builds/worker-3-tc2/source/.git/logs/refs/remotes/origin/HEAD': No space left on device
[INFO] [stderr] error: unable to write symref for refs/remotes/origin/HEAD: No space left on device
[INFO] [stderr] fatal: unable to update refs/remotes/origin/HEAD
[INFO] checking vasilevlaicu/secured-rust against try#a3dffdb3a32d0dedc198f9de7d43173f3eb6727b for pr-136303
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file src/verifier/z3_parser.rs
[INFO] [stderr] error: unable to write file src/verifier/z3_verifier.rs
[INFO] [stderr] fatal: cannot create directory at 'src/wp_calculus': No space left on device
[INFO] [stderr] warning: Clone succeeded, but checkout failed.
[INFO] [stderr] You can inspect what was checked out with 'git status'
[INFO] [stderr] and retry with 'git restore --source=HEAD :/'
[INFO] [stderr] 
[INFO] checking vasilevlaicu/secured-rust against try#a3dffdb3a32d0dedc198f9de7d43173f3eb6727b for pr-136303
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file src/verifier/mod.rs
[INFO] [stderr] error: unable to write file src/verifier/z3_parser.rs
[INFO] [stderr] error: unable to write file src/verifier/z3_verifier.rs
[INFO] [stderr] fatal: cannot create directory at 'src/wp_calculus': No space left on device
[INFO] [stderr] warning: Clone succeeded, but checkout failed.
[INFO] [stderr] You can inspect what was checked out with 'git status'
[INFO] [stderr] and retry with 'git restore --source=HEAD :/'
[INFO] [stderr] 
[INFO] checking vasilevlaicu/secured-rust against try#a3dffdb3a32d0dedc198f9de7d43173f3eb6727b for pr-136303
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvasilevlaicu%2Fsecured-rust" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file src/verifier/mod.rs
[INFO] [stderr] error: unable to write file src/verifier/z3_parser.rs
[INFO] [stderr] error: unable to write file src/verifier/z3_verifier.rs
[INFO] [stderr] fatal: cannot create directory at 'src/wp_calculus': No space left on device
[INFO] [stderr] warning: Clone succeeded, but checkout failed.
[INFO] [stderr] You can inspect what was checked out with 'git status'
[INFO] [stderr] and retry with 'git restore --source=HEAD :/'
[INFO] [stderr] 


failed to checkout https://github.com/vasilevlaicu/secured-rust

Caused by:
    command failed: exit status: 128
    
    