[INFO] cloning repository https://github.com/usenix-security-verdict/verdict
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/usenix-security-verdict/verdict" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fusenix-security-verdict%2Fverdict", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fusenix-security-verdict%2Fverdict'...
[INFO] [stderr] fatal: write error: No space left on device
[INFO] [stderr] fatal: fetch-pack: invalid index-pack output
[WARN] Retrying crate fetch in 3 seconds (attempt 1)
[INFO] cloning repository https://github.com/usenix-security-verdict/verdict
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/usenix-security-verdict/verdict" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fusenix-security-verdict%2Fverdict", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fusenix-security-verdict%2Fverdict'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 4d182e4f527d09557e414aeae9cf7b4b7272e3b5
[INFO] checking usenix-security-verdict/verdict against try#f3dc08d20a1589b87bde75bb82ee6423307f9bde for pr-135733
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fusenix-security-verdict%2Fverdict" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file deps/libcrux/tests/kyber_kats/wycheproof_early/keygen768draft
[INFO] [stderr] error: unable to write file deps/libcrux/tests/ml-kem.rs
[INFO] [stderr] error: unable to write file deps/libcrux/tests/rsa_pss.rs
[INFO] [stderr] error: unable to write file deps/libcrux/tests/sha2.rs
[INFO] [stderr] error: unable to write file deps/libcrux/tests/test_util.rs
[INFO] [stderr] fatal: cannot create directory at 'deps/libcrux/tests/wycheproof': 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 usenix-security-verdict/verdict against try#f3dc08d20a1589b87bde75bb82ee6423307f9bde for pr-135733
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fusenix-security-verdict%2Fverdict" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file deps/libcrux/tests/hpke_test_vectors.json
[INFO] [stderr] fatal: cannot create directory at 'deps/libcrux/tests/kyber_kats': 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 usenix-security-verdict/verdict against try#f3dc08d20a1589b87bde75bb82ee6423307f9bde for pr-135733
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fusenix-security-verdict%2Fverdict" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] Updating files:  97% (2545/2623)
Updating files:  98% (2571/2623)
Updating files:  99% (2597/2623)
Updating files: 100% (2623/2623)
Updating files: 100% (2623/2623), done.
[INFO] validating manifest of git repo https://github.com/usenix-security-verdict/verdict on toolchain f3dc08d20a1589b87bde75bb82ee6423307f9bde
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f3dc08d20a1589b87bde75bb82ee6423307f9bde" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] removed /workspace/builds/worker-4-tc2/source/rust-toolchain.toml
[INFO] started tweaking git repo https://github.com/usenix-security-verdict/verdict
[INFO] finished tweaking git repo https://github.com/usenix-security-verdict/verdict
[INFO] tweaked toml for git repo https://github.com/usenix-security-verdict/verdict written to /workspace/builds/worker-4-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/usenix-security-verdict/verdict 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" "+f3dc08d20a1589b87bde75bb82ee6423307f9bde" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: /workspace/builds/worker-4-tc2/source/chain/Cargo.toml: unused manifest key: verus
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating git repository `https://github.com/C2SP/x509-limbo`
[INFO] [stderr] warning: spurious network error (3 tries remaining): cannot extend packfile '/workspace/cargo-home/git/db/x509-limbo-270c3ca16e76e9b0/objects/pack/pack_git2_ecc3a2e0d807cfe8': 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/x509-limbo-270c3ca16e76e9b0/objects/pack/pack_git2_5fa594750c2af431': No space left on device; class=Os (2)
[INFO] [stderr] error: failed to get `limbo-harness-support` as a dependency of package `frontend v0.1.0 (/workspace/builds/worker-4-tc2/source/frontend)`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   failed to load source for dependency `limbo-harness-support`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   Unable to update https://github.com/C2SP/x509-limbo?branch=main#eec7dc99
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   failed to fetch into: /workspace/cargo-home/git/db/x509-limbo-270c3ca16e76e9b0
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   revision eec7dc996cccf326db9cd4dfe1878d33f9efa0c8 not found
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   no error
[INFO] checking usenix-security-verdict/verdict against try#f3dc08d20a1589b87bde75bb82ee6423307f9bde for pr-135733
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fusenix-security-verdict%2Fverdict" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file deps/libcrux/sys/hacl/c/include/msvc/curve25519-inline.h
[INFO] [stderr] error: unable to write file deps/libcrux/sys/hacl/c/include/msvc/evercrypt_targetconfig.h
[INFO] [stderr] fatal: cannot create directory at 'deps/libcrux/sys/hacl/c/include/msvc/internal': 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 usenix-security-verdict/verdict against try#f3dc08d20a1589b87bde75bb82ee6423307f9bde for pr-135733
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fusenix-security-verdict%2Fverdict" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file deps/libcrux/libcrux-ml-kem/tests/kats/wycheproof_early/keygen768draft
[INFO] [stderr] error: unable to write file deps/libcrux/libcrux-ml-kem/tests/kyber.rs
[INFO] [stderr] error: unable to write file deps/libcrux/libcrux-ml-kem/tests/ml-kem.rs
[INFO] [stderr] error: unable to write file deps/libcrux/libcrux-ml-kem/tests/nistkats.rs
[INFO] [stderr] error: unable to write file deps/libcrux/libcrux-ml-kem/tests/self.rs
[INFO] [stderr] fatal: cannot create directory at 'deps/libcrux/libcrux-psq': 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/usenix-security-verdict/verdict

Caused by:
    command failed: exit status: 128