[INFO] cloning repository https://github.com/hayatoito/icfp2023 [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/hayatoito/icfp2023" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhayatoito%2Ficfp2023", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhayatoito%2Ficfp2023'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] b8ddacd78e61a1583bd27d3373beb98f842eb39c [INFO] checking hayatoito/icfp2023 against try#51000a35bc99aeffdc092bf2226ab562eedb9eff for pr-135899 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhayatoito%2Ficfp2023" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file .gitignore [INFO] [stderr] error: unable to write file Cargo.lock [INFO] [stderr] error: unable to write file Cargo.toml [INFO] [stderr] error: unable to write file Make.zsh [INFO] [stderr] error: unable to write file README.md [INFO] [stderr] fatal: cannot create directory at 'draw': 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 hayatoito/icfp2023 against try#51000a35bc99aeffdc092bf2226ab562eedb9eff for pr-135899 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhayatoito%2Ficfp2023" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file draw/best/13.svg [INFO] [stderr] error: unable to write file draw/best/14.svg [INFO] [stderr] error: unable to write file draw/best/15.svg [INFO] [stderr] error: unable to write file draw/best/16.svg [INFO] [stderr] error: unable to write file draw/best/17.svg [INFO] [stderr] error: unable to write file draw/best/18.svg [INFO] [stderr] error: unable to write file draw/best/19.svg [INFO] [stderr] error: unable to write file draw/best/2.svg [INFO] [stderr] error: unable to write file draw/best/20.svg [INFO] [stderr] error: unable to write file draw/best/21.svg [INFO] [stderr] error: unable to write file draw/best/22.svg [INFO] [stderr] error: unable to write file draw/best/23.svg [INFO] [stderr] error: unable to write file draw/best/24.svg [INFO] [stderr] error: unable to write file draw/best/25.svg [INFO] [stderr] error: unable to write file draw/best/26.svg [INFO] [stderr] error: unable to write file draw/best/27.svg [INFO] [stderr] error: unable to write file draw/best/28.svg [INFO] [stderr] error: unable to write file draw/best/29.svg [INFO] [stderr] error: unable to write file draw/best/3.svg [INFO] [stderr] error: unable to write file draw/best/30.svg [INFO] [stderr] error: unable to write file draw/best/31.svg [INFO] [stderr] error: unable to write file draw/best/32.svg [INFO] [stderr] error: unable to write file draw/best/33.svg [INFO] [stderr] error: unable to write file draw/best/34.svg [INFO] [stderr] error: unable to write file draw/best/35.svg [INFO] [stderr] error: unable to write file draw/best/36.svg [INFO] [stderr] error: unable to write file draw/best/37.svg [INFO] [stderr] error: unable to write file draw/best/38.svg [INFO] [stderr] error: unable to write file draw/best/39.svg [INFO] [stderr] error: unable to write file draw/best/40.svg [INFO] [stderr] error: unable to write file draw/best/41.svg [INFO] [stderr] error: unable to write file draw/best/42.svg [INFO] [stderr] error: unable to write file draw/best/43.svg [INFO] [stderr] error: unable to write file draw/best/44.svg [INFO] [stderr] error: unable to write file draw/best/45.svg [INFO] [stderr] error: unable to write file draw/best/46.svg [INFO] [stderr] error: unable to write file draw/best/47.svg [INFO] [stderr] error: unable to write file draw/best/48.svg [INFO] [stderr] error: unable to write file draw/best/49.svg [INFO] [stderr] error: unable to write file draw/best/5.svg [INFO] [stderr] error: unable to write file draw/best/50.svg [INFO] [stderr] error: unable to write file draw/best/51.svg [INFO] [stderr] error: unable to write file draw/best/52.svg [INFO] [stderr] error: unable to write file draw/best/53.svg [INFO] [stderr] error: unable to write file draw/best/63.svg [INFO] [stderr] error: unable to write file draw/best/64.svg [INFO] [stderr] error: unable to write file draw/best/65.svg [INFO] [stderr] error: unable to write file draw/best/66.svg [INFO] [stderr] error: unable to write file draw/best/67.svg [INFO] [stderr] error: unable to write file draw/best/68.svg [INFO] [stderr] error: unable to write file draw/best/69.svg [INFO] [stderr] error: unable to write file draw/best/7.svg [INFO] [stderr] error: unable to write file draw/best/70.svg [INFO] [stderr] error: unable to write file draw/best/71.svg [INFO] [stderr] error: unable to write file draw/best/72.svg [INFO] [stderr] error: unable to write file draw/best/73.svg [INFO] [stderr] error: unable to write file draw/best/74.svg [INFO] [stderr] error: unable to write file draw/best/75.svg [INFO] [stderr] error: unable to write file draw/best/76.svg [INFO] [stderr] error: unable to write file draw/best/77.svg [INFO] [stderr] error: unable to write file draw/best/78.svg [INFO] [stderr] error: unable to write file draw/best/79.svg [INFO] [stderr] error: unable to write file draw/best/8.svg [INFO] [stderr] error: unable to write file draw/best/80.svg [INFO] [stderr] error: unable to write file draw/best/81.svg [INFO] [stderr] error: unable to write file draw/best/82.svg [INFO] [stderr] error: unable to write file draw/best/83.svg [INFO] [stderr] error: unable to write file draw/best/84.svg [INFO] [stderr] error: unable to write file draw/best/85.svg [INFO] [stderr] error: unable to write file draw/best/86.svg [INFO] [stderr] error: unable to write file draw/best/87.svg [INFO] [stderr] error: unable to write file draw/best/88.svg [INFO] [stderr] error: unable to write file draw/best/89.svg [INFO] [stderr] error: unable to write file draw/best/9.svg [INFO] [stderr] error: unable to write file draw/best/90.svg [INFO] [stderr] fatal: cannot create directory at 'draw/problem': 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 hayatoito/icfp2023 against try#51000a35bc99aeffdc092bf2226ab562eedb9eff for pr-135899 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhayatoito%2Ficfp2023" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file draw/best/15.svg [INFO] [stderr] error: unable to write file draw/best/16.svg [INFO] [stderr] error: unable to write file draw/best/17.svg [INFO] [stderr] error: unable to write file draw/best/18.svg [INFO] [stderr] error: unable to write file draw/best/19.svg [INFO] [stderr] error: unable to write file draw/best/2.svg [INFO] [stderr] error: unable to write file draw/best/20.svg [INFO] [stderr] error: unable to write file draw/best/21.svg [INFO] [stderr] error: unable to write file draw/best/22.svg [INFO] [stderr] error: unable to write file draw/best/23.svg [INFO] [stderr] error: unable to write file draw/best/24.svg [INFO] [stderr] error: unable to write file draw/best/25.svg [INFO] [stderr] error: unable to write file draw/best/26.svg [INFO] [stderr] error: unable to write file draw/best/27.svg [INFO] [stderr] error: unable to write file draw/best/28.svg [INFO] [stderr] error: unable to write file draw/best/29.svg [INFO] [stderr] error: unable to write file draw/best/3.svg [INFO] [stderr] error: unable to write file draw/best/30.svg [INFO] [stderr] error: unable to write file draw/best/31.svg [INFO] [stderr] error: unable to write file draw/best/32.svg [INFO] [stderr] error: unable to write file draw/best/33.svg [INFO] [stderr] error: unable to write file draw/best/34.svg [INFO] [stderr] error: unable to write file draw/best/35.svg [INFO] [stderr] error: unable to write file draw/best/36.svg [INFO] [stderr] error: unable to write file draw/best/37.svg [INFO] [stderr] error: unable to write file draw/best/38.svg [INFO] [stderr] error: unable to write file draw/best/39.svg [INFO] [stderr] error: unable to write file draw/best/4.svg [INFO] [stderr] error: unable to write file draw/best/40.svg [INFO] [stderr] error: unable to write file draw/best/41.svg [INFO] [stderr] error: unable to write file draw/best/42.svg [INFO] [stderr] error: unable to write file draw/best/43.svg [INFO] [stderr] error: unable to write file draw/best/44.svg [INFO] [stderr] error: unable to write file draw/best/45.svg [INFO] [stderr] error: unable to write file draw/best/46.svg [INFO] [stderr] error: unable to write file draw/best/47.svg [INFO] [stderr] error: unable to write file draw/best/48.svg [INFO] [stderr] error: unable to write file draw/best/49.svg [INFO] [stderr] error: unable to write file draw/best/5.svg [INFO] [stderr] error: unable to write file draw/best/50.svg [INFO] [stderr] error: unable to write file draw/best/51.svg [INFO] [stderr] error: unable to write file draw/best/52.svg [INFO] [stderr] error: unable to write file draw/best/53.svg [INFO] [stderr] error: unable to write file draw/best/54.svg [INFO] [stderr] error: unable to write file draw/best/55.svg [INFO] [stderr] error: unable to write file draw/best/56.svg [INFO] [stderr] error: unable to write file draw/best/57.svg [INFO] [stderr] error: unable to write file draw/best/58.svg [INFO] [stderr] error: unable to write file draw/best/59.svg [INFO] [stderr] error: unable to write file draw/best/6.svg [INFO] [stderr] error: unable to write file draw/best/60.svg [INFO] [stderr] error: unable to write file draw/best/61.svg [INFO] [stderr] error: unable to write file draw/best/62.svg [INFO] [stderr] error: unable to write file draw/best/63.svg [INFO] [stderr] error: unable to write file draw/best/64.svg [INFO] [stderr] error: unable to write file draw/best/65.svg [INFO] [stderr] error: unable to write file draw/best/66.svg [INFO] [stderr] error: unable to write file draw/best/67.svg [INFO] [stderr] error: unable to write file draw/best/68.svg [INFO] [stderr] error: unable to write file draw/best/69.svg [INFO] [stderr] error: unable to write file draw/best/7.svg [INFO] [stderr] error: unable to write file draw/best/70.svg [INFO] [stderr] error: unable to write file draw/best/71.svg [INFO] [stderr] error: unable to write file draw/best/72.svg [INFO] [stderr] error: unable to write file draw/best/73.svg [INFO] [stderr] error: unable to write file draw/best/74.svg [INFO] [stderr] error: unable to write file draw/best/75.svg [INFO] [stderr] error: unable to write file draw/best/76.svg [INFO] [stderr] error: unable to write file draw/best/77.svg [INFO] [stderr] error: unable to write file draw/best/78.svg [INFO] [stderr] error: unable to write file draw/best/79.svg [INFO] [stderr] error: unable to write file draw/best/8.svg [INFO] [stderr] error: unable to write file draw/best/80.svg [INFO] [stderr] error: unable to write file draw/best/81.svg [INFO] [stderr] error: unable to write file draw/best/82.svg [INFO] [stderr] error: unable to write file draw/best/83.svg [INFO] [stderr] error: unable to write file draw/best/84.svg [INFO] [stderr] error: unable to write file draw/best/85.svg [INFO] [stderr] error: unable to write file draw/best/86.svg [INFO] [stderr] error: unable to write file draw/best/87.svg [INFO] [stderr] error: unable to write file draw/best/88.svg [INFO] [stderr] error: unable to write file draw/best/89.svg [INFO] [stderr] error: unable to write file draw/best/9.svg [INFO] [stderr] error: unable to write file draw/best/90.svg [INFO] [stderr] fatal: cannot create directory at 'draw/problem': 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 hayatoito/icfp2023 against try#51000a35bc99aeffdc092bf2226ab562eedb9eff for pr-135899 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhayatoito%2Ficfp2023" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] fatal: error closing file /workspace/builds/worker-0-tc2/source/.git/packed-refs.new: No space left on device [INFO] checking hayatoito/icfp2023 against try#51000a35bc99aeffdc092bf2226ab562eedb9eff for pr-135899 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhayatoito%2Ficfp2023" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-0-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/pre-rebase.sample' to '/workspace/builds/worker-0-tc2/source/.git/hooks/pre-rebase.sample': No space left on device failed to checkout https://github.com/hayatoito/icfp2023 Caused by: command failed: exit status: 128