[INFO] cloning repository https://github.com/m-gdz/c2rust-vendored
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/m-gdz/c2rust-vendored" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fm-gdz%2Fc2rust-vendored", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fm-gdz%2Fc2rust-vendored'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 76e88300c0165c9a38a59524d6947caa4cf5102a
[INFO] checking m-gdz/c2rust-vendored against master#8f21a5c92ea55c348c275a1bc4fedbdf181e0d64 for pr-143011
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fm-gdz%2Fc2rust-vendored" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'...
[INFO] [stderr] done.
[INFO] [stderr] Updating files:  50% (5151/10249)
Updating files:  51% (5227/10249)
Updating files:  52% (5330/10249)
Updating files:  53% (5432/10249)
Updating files:  54% (5535/10249)
Updating files:  55% (5637/10249)
Updating files:  56% (5740/10249)
Updating files:  57% (5842/10249)
Updating files:  58% (5945/10249)
Updating files:  59% (6047/10249)
Updating files:  60% (6150/10249)
Updating files:  61% (6252/10249)
Updating files:  62% (6355/10249)
Updating files:  63% (6457/10249)
Updating files:  64% (6560/10249)
Updating files:  65% (6662/10249)
Updating files:  66% (6765/10249)
Updating files:  67% (6867/10249)
Updating files:  68% (6970/10249)
Updating files:  69% (7072/10249)
Updating files:  70% (7175/10249)
Updating files:  71% (7277/10249)
Updating files:  72% (7380/10249)
Updating files:  73% (7482/10249)
Updating files:  74% (7585/10249)
Updating files:  75% (7687/10249)
Updating files:  75% (7740/10249)
Updating files:  76% (7790/10249)
Updating files:  77% (7892/10249)
Updating files:  78% (7995/10249)
Updating files:  79% (8097/10249)
Updating files:  80% (8200/10249)
Updating files:  81% (8302/10249)
Updating files:  82% (8405/10249)
Updating files:  83% (8507/10249)
Updating files:  84% (8610/10249)
Updating files:  85% (8712/10249)
Updating files:  86% (8815/10249)
Updating files:  87% (8917/10249)
Updating files:  88% (9020/10249)
Updating files:  89% (9122/10249)
Updating files:  90% (9225/10249)
Updating files:  91% (9327/10249)
Updating files:  92% (9430/10249)
Updating files:  93% (9532/10249)
Updating files:  93% (9548/10249)
Updating files:  94% (9635/10249)
Updating files:  95% (9737/10249)
Updating files:  96% (9840/10249)
error: unable to write file vendor/windows-sys/src/Windows/Win32/Storage/Jet/mod.rs
[INFO] [stderr] fatal: cannot create directory at 'vendor/windows-sys/src/Windows/Win32/Storage/OfflineFiles': 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/m-gdz/c2rust-vendored

Caused by:
    command failed: exit status: 128
    
    