[INFO] cloning repository https://github.com/nojnhuh/slider
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/nojnhuh/slider" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnojnhuh%2Fslider", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnojnhuh%2Fslider'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] d4c84496f531d201df57300fcdbbb5df459dd634
[INFO] checking nojnhuh/slider against try#09ea730c380b8b9acb96ff87b724c45df920f793 for pr-134272
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnojnhuh%2Fslider" "/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 levels/default/028.txt
[INFO] [stderr] error: unable to write file levels/default/029.txt
[INFO] [stderr] error: unable to write file levels/default/030.txt
[INFO] [stderr] error: unable to write file levels/default/031.txt
[INFO] [stderr] error: unable to write file levels/default/032.txt
[INFO] [stderr] error: unable to write file levels/default/033.txt
[INFO] [stderr] error: unable to write file levels/default/034.txt
[INFO] [stderr] error: unable to write file levels/default/035.txt
[INFO] [stderr] error: unable to write file levels/default/036.txt
[INFO] [stderr] error: unable to write file levels/default/037.txt
[INFO] [stderr] error: unable to write file levels/default/038.txt
[INFO] [stderr] error: unable to write file levels/default/039.txt
[INFO] [stderr] error: unable to write file levels/default/040.txt
[INFO] [stderr] error: unable to write file levels/default/041.txt
[INFO] [stderr] error: unable to write file levels/default/042.txt
[INFO] [stderr] error: unable to write file levels/default/043.txt
[INFO] [stderr] error: unable to write file levels/default/044.txt
[INFO] [stderr] error: unable to write file levels/default/045.txt
[INFO] [stderr] error: unable to write file levels/default/046.txt
[INFO] [stderr] error: unable to write file levels/default/047.txt
[INFO] [stderr] error: unable to write file levels/default/048.txt
[INFO] [stderr] error: unable to write file levels/default/049.txt
[INFO] [stderr] error: unable to write file levels/default/050.txt
[INFO] [stderr] error: unable to write file levels/default/051.txt
[INFO] [stderr] error: unable to write file levels/default/052.txt
[INFO] [stderr] error: unable to write file levels/default/053.txt
[INFO] [stderr] error: unable to write file levels/default/054.txt
[INFO] [stderr] error: unable to write file levels/default/055.txt
[INFO] [stderr] error: unable to write file levels/default/056.txt
[INFO] [stderr] error: unable to write file levels/default/057.txt
[INFO] [stderr] error: unable to write file levels/default/058.txt
[INFO] [stderr] error: unable to write file levels/default/059.txt
[INFO] [stderr] error: unable to write file levels/default/060.txt
[INFO] [stderr] fatal: cannot create directory at 'levels/difficult': 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 nojnhuh/slider against try#09ea730c380b8b9acb96ff87b724c45df920f793 for pr-134272
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnojnhuh%2Fslider" "/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 levels/default/027.txt
[INFO] [stderr] error: unable to write file levels/default/028.txt
[INFO] [stderr] error: unable to write file levels/default/029.txt
[INFO] [stderr] error: unable to write file levels/default/030.txt
[INFO] [stderr] error: unable to write file levels/default/031.txt
[INFO] [stderr] error: unable to write file levels/default/032.txt
[INFO] [stderr] error: unable to write file levels/default/033.txt
[INFO] [stderr] error: unable to write file levels/default/034.txt
[INFO] [stderr] error: unable to write file levels/difficult/013.txt
[INFO] [stderr] error: unable to write file levels/difficult/014.txt
[INFO] [stderr] error: unable to write file levels/difficult/093.txt
[INFO] [stderr] error: unable to write file levels/difficult/094.txt
[INFO] [stderr] error: unable to write file levels/difficult/095.txt
[INFO] [stderr] error: unable to write file levels/difficult/096.txt
[INFO] [stderr] error: unable to write file levels/difficult/097.txt
[INFO] [stderr] error: unable to write file levels/difficult/098.txt
[INFO] [stderr] error: unable to write file levels/difficult/099.txt
[INFO] [stderr] error: unable to write file levels/difficult/100.txt
[INFO] [stderr] fatal: cannot create directory at 'levels/ludicrous': 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 nojnhuh/slider against try#09ea730c380b8b9acb96ff87b724c45df920f793 for pr-134272
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnojnhuh%2Fslider" "/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 levels/difficult/069.txt
[INFO] [stderr] error: unable to write file levels/difficult/070.txt
[INFO] [stderr] error: unable to write file levels/difficult/071.txt
[INFO] [stderr] error: unable to write file levels/difficult/072.txt
[INFO] [stderr] error: unable to write file levels/difficult/073.txt
[INFO] [stderr] error: unable to write file levels/difficult/074.txt
[INFO] [stderr] error: unable to write file levels/difficult/075.txt
[INFO] [stderr] error: unable to write file levels/difficult/076.txt
[INFO] [stderr] error: unable to write file levels/difficult/077.txt
[INFO] [stderr] error: unable to write file levels/difficult/078.txt
[INFO] [stderr] error: unable to write file levels/difficult/079.txt
[INFO] [stderr] error: unable to write file levels/difficult/080.txt
[INFO] [stderr] error: unable to write file levels/difficult/081.txt
[INFO] [stderr] error: unable to write file levels/difficult/082.txt
[INFO] [stderr] error: unable to write file levels/difficult/083.txt
[INFO] [stderr] error: unable to write file levels/difficult/084.txt
[INFO] [stderr] error: unable to write file levels/difficult/085.txt
[INFO] [stderr] error: unable to write file levels/difficult/086.txt
[INFO] [stderr] error: unable to write file levels/difficult/087.txt
[INFO] [stderr] error: unable to write file levels/difficult/088.txt
[INFO] [stderr] error: unable to write file levels/difficult/089.txt
[INFO] [stderr] error: unable to write file levels/difficult/090.txt
[INFO] [stderr] error: unable to write file levels/difficult/091.txt
[INFO] [stderr] error: unable to write file levels/difficult/092.txt
[INFO] [stderr] error: unable to write file levels/difficult/093.txt
[INFO] [stderr] error: unable to write file levels/difficult/094.txt
[INFO] [stderr] error: unable to write file levels/difficult/095.txt
[INFO] [stderr] error: unable to write file levels/difficult/096.txt
[INFO] [stderr] error: unable to write file levels/difficult/097.txt
[INFO] [stderr] error: unable to write file levels/difficult/098.txt
[INFO] [stderr] error: unable to write file levels/difficult/099.txt
[INFO] [stderr] error: unable to write file levels/difficult/100.txt
[INFO] [stderr] fatal: cannot create directory at 'levels/ludicrous': 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 nojnhuh/slider against try#09ea730c380b8b9acb96ff87b724c45df920f793 for pr-134272
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnojnhuh%2Fslider" "/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 levels/default/033.txt
[INFO] [stderr] error: unable to write file levels/default/034.txt
[INFO] [stderr] error: unable to write file levels/default/035.txt
[INFO] [stderr] error: unable to write file levels/default/036.txt
[INFO] [stderr] error: unable to write file levels/default/037.txt
[INFO] [stderr] error: unable to write file levels/default/038.txt
[INFO] [stderr] error: unable to write file levels/default/039.txt
[INFO] [stderr] error: unable to write file levels/default/040.txt
[INFO] [stderr] error: unable to write file levels/default/041.txt
[INFO] [stderr] error: unable to write file levels/default/042.txt
[INFO] [stderr] error: unable to write file levels/default/043.txt
[INFO] [stderr] error: unable to write file levels/default/044.txt
[INFO] [stderr] error: unable to write file levels/default/045.txt
[INFO] [stderr] error: unable to write file levels/default/046.txt
[INFO] [stderr] error: unable to write file levels/default/047.txt
[INFO] [stderr] error: unable to write file levels/default/048.txt
[INFO] [stderr] error: unable to write file levels/default/049.txt
[INFO] [stderr] error: unable to write file levels/default/050.txt
[INFO] [stderr] error: unable to write file levels/default/051.txt
[INFO] [stderr] error: unable to write file levels/default/052.txt
[INFO] [stderr] error: unable to write file levels/default/053.txt
[INFO] [stderr] error: unable to write file levels/default/054.txt
[INFO] [stderr] error: unable to write file levels/default/055.txt
[INFO] [stderr] error: unable to write file levels/default/056.txt
[INFO] [stderr] error: unable to write file levels/default/057.txt
[INFO] [stderr] error: unable to write file levels/default/058.txt
[INFO] [stderr] error: unable to write file levels/default/059.txt
[INFO] [stderr] error: unable to write file levels/default/060.txt
[INFO] [stderr] fatal: cannot create directory at 'levels/difficult': 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 nojnhuh/slider against try#09ea730c380b8b9acb96ff87b724c45df920f793 for pr-134272
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnojnhuh%2Fslider" "/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 levels/default/031.txt
[INFO] [stderr] error: unable to write file levels/default/032.txt
[INFO] [stderr] error: unable to write file levels/default/033.txt
[INFO] [stderr] error: unable to write file levels/default/034.txt
[INFO] [stderr] error: unable to write file levels/default/035.txt
[INFO] [stderr] error: unable to write file levels/default/036.txt
[INFO] [stderr] error: unable to write file levels/default/037.txt
[INFO] [stderr] error: unable to write file levels/default/038.txt
[INFO] [stderr] error: unable to write file levels/default/039.txt
[INFO] [stderr] error: unable to write file levels/default/040.txt
[INFO] [stderr] error: unable to write file levels/default/041.txt
[INFO] [stderr] error: unable to write file levels/default/042.txt
[INFO] [stderr] error: unable to write file levels/default/043.txt
[INFO] [stderr] error: unable to write file levels/default/044.txt
[INFO] [stderr] error: unable to write file levels/default/045.txt
[INFO] [stderr] error: unable to write file levels/default/046.txt
[INFO] [stderr] error: unable to write file levels/default/047.txt
[INFO] [stderr] error: unable to write file levels/default/048.txt
[INFO] [stderr] error: unable to write file levels/default/049.txt
[INFO] [stderr] error: unable to write file levels/default/050.txt
[INFO] [stderr] error: unable to write file levels/default/051.txt
[INFO] [stderr] error: unable to write file levels/default/052.txt
[INFO] [stderr] error: unable to write file levels/default/053.txt
[INFO] [stderr] error: unable to write file levels/default/054.txt
[INFO] [stderr] error: unable to write file levels/default/055.txt
[INFO] [stderr] error: unable to write file levels/default/056.txt
[INFO] [stderr] error: unable to write file levels/default/057.txt
[INFO] [stderr] error: unable to write file levels/default/058.txt
[INFO] [stderr] error: unable to write file levels/default/059.txt
[INFO] [stderr] error: unable to write file levels/default/060.txt
[INFO] [stderr] fatal: cannot create directory at 'levels/difficult': 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] 


ExecutionFailed(ExitStatus(unix_wait_status(32768)))

failed to checkout https://github.com/nojnhuh/slider