[INFO] cloning repository https://github.com/patrickthornton/sokoban
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/patrickthornton/sokoban" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpatrickthornton%2Fsokoban", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpatrickthornton%2Fsokoban'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 30ada53e6776a09270cdeb4cc9cfdb67ee147ba9
[INFO] checking patrickthornton/sokoban against try#be699666730c5a1745838222e98e2d85019affdc for pr-134300
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpatrickthornton%2Fsokoban" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'...
[INFO] [stderr] error: failed to write new configuration file /workspace/builds/worker-2-tc2/source/.git/config.lock
[INFO] [stderr] fatal: could not set 'core.repositoryformatversion' to '0'
[INFO] checking patrickthornton/sokoban against try#be699666730c5a1745838222e98e2d85019affdc for pr-134300
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpatrickthornton%2Fsokoban" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-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/fsmonitor-watchman.sample' to '/workspace/builds/worker-2-tc2/source/.git/hooks/fsmonitor-watchman.sample': No space left on device
[INFO] checking patrickthornton/sokoban against try#be699666730c5a1745838222e98e2d85019affdc for pr-134300
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpatrickthornton%2Fsokoban" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] fatal: could not create work tree dir '/workspace/builds/worker-2-tc2/source': No space left on device
[INFO] checking patrickthornton/sokoban against try#be699666730c5a1745838222e98e2d85019affdc for pr-134300
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpatrickthornton%2Fsokoban" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file levels/12.txt
[INFO] [stderr] error: unable to write file levels/146.txt
[INFO] [stderr] error: unable to write file levels/147.txt
[INFO] [stderr] error: unable to write file levels/148.txt
[INFO] [stderr] error: unable to write file levels/149.txt
[INFO] [stderr] error: unable to write file levels/15.txt
[INFO] [stderr] error: unable to write file levels/150.txt
[INFO] [stderr] error: unable to write file levels/151.txt
[INFO] [stderr] error: unable to write file levels/152.txt
[INFO] [stderr] error: unable to write file levels/153.txt
[INFO] [stderr] error: unable to write file levels/154.txt
[INFO] [stderr] error: unable to write file levels/155.txt
[INFO] [stderr] error: unable to write file levels/156.txt
[INFO] [stderr] error: unable to write file levels/16.txt
[INFO] [stderr] error: unable to write file levels/17.txt
[INFO] [stderr] error: unable to write file levels/18.txt
[INFO] [stderr] error: unable to write file levels/19.txt
[INFO] [stderr] error: unable to write file levels/2.txt
[INFO] [stderr] error: unable to write file levels/20.txt
[INFO] [stderr] error: unable to write file levels/21.txt
[INFO] [stderr] error: unable to write file levels/22.txt
[INFO] [stderr] error: unable to write file levels/23.txt
[INFO] [stderr] error: unable to write file levels/24.txt
[INFO] [stderr] error: unable to write file levels/25.txt
[INFO] [stderr] error: unable to write file levels/26.txt
[INFO] [stderr] error: unable to write file levels/27.txt
[INFO] [stderr] error: unable to write file levels/28.txt
[INFO] [stderr] error: unable to write file levels/29.txt
[INFO] [stderr] error: unable to write file levels/3.txt
[INFO] [stderr] error: unable to write file levels/30.txt
[INFO] [stderr] error: unable to write file levels/31.txt
[INFO] [stderr] error: unable to write file levels/32.txt
[INFO] [stderr] error: unable to write file levels/33.txt
[INFO] [stderr] error: unable to write file levels/34.txt
[INFO] [stderr] error: unable to write file levels/35.txt
[INFO] [stderr] error: unable to write file levels/36.txt
[INFO] [stderr] error: unable to write file levels/37.txt
[INFO] [stderr] error: unable to write file levels/38.txt
[INFO] [stderr] error: unable to write file levels/39.txt
[INFO] [stderr] error: unable to write file levels/4.txt
[INFO] [stderr] error: unable to write file levels/40.txt
[INFO] [stderr] error: unable to write file levels/41.txt
[INFO] [stderr] error: unable to write file levels/42.txt
[INFO] [stderr] error: unable to write file levels/43.txt
[INFO] [stderr] error: unable to write file levels/44.txt
[INFO] [stderr] error: unable to write file levels/45.txt
[INFO] [stderr] error: unable to write file levels/46.txt
[INFO] [stderr] error: unable to write file levels/47.txt
[INFO] [stderr] error: unable to write file levels/48.txt
[INFO] [stderr] error: unable to write file levels/49.txt
[INFO] [stderr] error: unable to write file levels/5.txt
[INFO] [stderr] error: unable to write file levels/50.txt
[INFO] [stderr] error: unable to write file levels/51.txt
[INFO] [stderr] error: unable to write file levels/52.txt
[INFO] [stderr] fatal: unable to checkout working tree
[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 patrickthornton/sokoban against try#be699666730c5a1745838222e98e2d85019affdc for pr-134300
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fpatrickthornton%2Fsokoban" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file levels/132.txt
[INFO] [stderr] error: unable to write file levels/133.txt
[INFO] [stderr] error: unable to write file levels/134.txt
[INFO] [stderr] error: unable to write file levels/135.txt
[INFO] [stderr] error: unable to write file levels/136.txt
[INFO] [stderr] error: unable to write file levels/137.txt
[INFO] [stderr] error: unable to write file levels/138.txt
[INFO] [stderr] error: unable to write file levels/139.txt
[INFO] [stderr] error: unable to write file levels/14.txt
[INFO] [stderr] error: unable to write file levels/140.txt
[INFO] [stderr] error: unable to write file levels/141.txt
[INFO] [stderr] error: unable to write file levels/142.txt
[INFO] [stderr] error: unable to write file levels/143.txt
[INFO] [stderr] error: unable to write file levels/144.txt
[INFO] [stderr] error: unable to write file levels/145.txt
[INFO] [stderr] error: unable to write file levels/146.txt
[INFO] [stderr] error: unable to write file levels/147.txt
[INFO] [stderr] error: unable to write file levels/148.txt
[INFO] [stderr] error: unable to write file levels/149.txt
[INFO] [stderr] error: unable to write file levels/15.txt
[INFO] [stderr] error: unable to write file levels/150.txt
[INFO] [stderr] error: unable to write file levels/151.txt
[INFO] [stderr] error: unable to write file levels/152.txt
[INFO] [stderr] error: unable to write file levels/153.txt
[INFO] [stderr] error: unable to write file levels/154.txt
[INFO] [stderr] error: unable to write file levels/155.txt
[INFO] [stderr] error: unable to write file levels/156.txt
[INFO] [stderr] error: unable to write file levels/16.txt
[INFO] [stderr] error: unable to write file levels/17.txt
[INFO] [stderr] error: unable to write file levels/18.txt
[INFO] [stderr] error: unable to write file levels/19.txt
[INFO] [stderr] error: unable to write file levels/2.txt
[INFO] [stderr] error: unable to write file levels/20.txt
[INFO] [stderr] error: unable to write file levels/21.txt
[INFO] [stderr] error: unable to write file levels/22.txt
[INFO] [stderr] error: unable to write file levels/23.txt
[INFO] [stderr] error: unable to write file levels/24.txt
[INFO] [stderr] error: unable to write file levels/25.txt
[INFO] [stderr] error: unable to write file levels/26.txt
[INFO] [stderr] error: unable to write file levels/27.txt
[INFO] [stderr] error: unable to write file levels/28.txt
[INFO] [stderr] error: unable to write file levels/29.txt
[INFO] [stderr] error: unable to write file levels/3.txt
[INFO] [stderr] error: unable to write file levels/30.txt
[INFO] [stderr] error: unable to write file levels/31.txt
[INFO] [stderr] error: unable to write file levels/32.txt
[INFO] [stderr] error: unable to write file levels/33.txt
[INFO] [stderr] error: unable to write file levels/34.txt
[INFO] [stderr] error: unable to write file levels/35.txt
[INFO] [stderr] error: unable to write file levels/36.txt
[INFO] [stderr] error: unable to write file levels/37.txt
[INFO] [stderr] error: unable to write file levels/38.txt
[INFO] [stderr] error: unable to write file levels/39.txt
[INFO] [stderr] error: unable to write file levels/4.txt
[INFO] [stderr] error: unable to write file levels/40.txt
[INFO] [stderr] error: unable to write file levels/41.txt
[INFO] [stderr] error: unable to write file levels/42.txt
[INFO] [stderr] error: unable to write file levels/43.txt
[INFO] [stderr] error: unable to write file levels/44.txt
[INFO] [stderr] error: unable to write file levels/45.txt
[INFO] [stderr] error: unable to write file levels/46.txt
[INFO] [stderr] error: unable to write file levels/47.txt
[INFO] [stderr] error: unable to write file levels/48.txt
[INFO] [stderr] error: unable to write file levels/49.txt
[INFO] [stderr] error: unable to write file levels/5.txt
[INFO] [stderr] error: unable to write file levels/50.txt
[INFO] [stderr] error: unable to write file levels/51.txt
[INFO] [stderr] error: unable to write file levels/52.txt
[INFO] [stderr] error: unable to write file levels/53.txt
[INFO] [stderr] error: unable to write file levels/54.txt
[INFO] [stderr] error: unable to write file levels/55.txt
[INFO] [stderr] error: unable to write file levels/56.txt
[INFO] [stderr] error: unable to write file levels/57.txt
[INFO] [stderr] error: unable to write file levels/58.txt
[INFO] [stderr] error: unable to write file levels/59.txt
[INFO] [stderr] error: unable to write file levels/6.txt
[INFO] [stderr] error: unable to write file levels/60.txt
[INFO] [stderr] error: unable to write file levels/61.txt
[INFO] [stderr] error: unable to write file levels/62.txt
[INFO] [stderr] error: unable to write file levels/63.txt
[INFO] [stderr] error: unable to write file levels/64.txt
[INFO] [stderr] error: unable to write file levels/65.txt
[INFO] [stderr] error: unable to write file levels/66.txt
[INFO] [stderr] error: unable to write file levels/67.txt
[INFO] [stderr] error: unable to write file levels/68.txt
[INFO] [stderr] error: unable to write file levels/69.txt
[INFO] [stderr] error: unable to write file levels/7.txt
[INFO] [stderr] error: unable to write file levels/70.txt
[INFO] [stderr] error: unable to write file levels/71.txt
[INFO] [stderr] error: unable to write file levels/72.txt
[INFO] [stderr] error: unable to write file levels/73.txt
[INFO] [stderr] error: unable to write file levels/74.txt
[INFO] [stderr] error: unable to write file levels/75.txt
[INFO] [stderr] error: unable to write file levels/76.txt
[INFO] [stderr] error: unable to write file levels/77.txt
[INFO] [stderr] error: unable to write file levels/78.txt
[INFO] [stderr] error: unable to write file levels/79.txt
[INFO] [stderr] error: unable to write file levels/8.txt
[INFO] [stderr] error: unable to write file levels/80.txt
[INFO] [stderr] error: unable to write file levels/81.txt
[INFO] [stderr] error: unable to write file levels/82.txt
[INFO] [stderr] error: unable to write file levels/83.txt
[INFO] [stderr] error: unable to write file levels/84.txt
[INFO] [stderr] error: unable to write file levels/85.txt
[INFO] [stderr] error: unable to write file levels/86.txt
[INFO] [stderr] error: unable to write file levels/87.txt
[INFO] [stderr] error: unable to write file levels/88.txt
[INFO] [stderr] error: unable to write file levels/89.txt
[INFO] [stderr] error: unable to write file levels/9.txt
[INFO] [stderr] error: unable to write file levels/90.txt
[INFO] [stderr] error: unable to write file levels/91.txt
[INFO] [stderr] error: unable to write file levels/92.txt
[INFO] [stderr] error: unable to write file levels/93.txt
[INFO] [stderr] error: unable to write file levels/94.txt
[INFO] [stderr] error: unable to write file levels/95.txt
[INFO] [stderr] error: unable to write file levels/96.txt
[INFO] [stderr] error: unable to write file levels/97.txt
[INFO] [stderr] error: unable to write file levels/98.txt
[INFO] [stderr] error: unable to write file levels/99.txt
[INFO] [stderr] error: unable to write file levels/level_extractor.py
[INFO] [stderr] fatal: cannot create directory at 'src': 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/patrickthornton/sokoban