[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#3ec2a775459d36c7d90654e47c56ff7bb0d542ab for pr-139087 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhayatoito%2Ficfp2023" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file problem/83.json [INFO] [stderr] error: unable to write file problem/9.json [INFO] [stderr] error: unable to write file problem/90.json [INFO] [stderr] fatal: cannot create directory at 'problem/example': 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#3ec2a775459d36c7d90654e47c56ff7bb0d542ab for pr-139087 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhayatoito%2Ficfp2023" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file problem/82.json [INFO] [stderr] error: unable to write file problem/83.json [INFO] [stderr] error: unable to write file problem/84.json [INFO] [stderr] error: unable to write file problem/85.json [INFO] [stderr] error: unable to write file problem/86.json [INFO] [stderr] error: unable to write file problem/87.json [INFO] [stderr] error: unable to write file problem/88.json [INFO] [stderr] error: unable to write file problem/89.json [INFO] [stderr] error: unable to write file problem/9.json [INFO] [stderr] error: unable to write file problem/90.json [INFO] [stderr] error: unable to write file solution/best/1.json [INFO] [stderr] error: unable to write file solution/best/10.json [INFO] [stderr] error: unable to write file solution/best/11.json [INFO] [stderr] error: unable to write file solution/best/12.json [INFO] [stderr] error: unable to write file solution/best/13.json [INFO] [stderr] error: unable to write file solution/best/14.json [INFO] [stderr] error: unable to write file solution/best/15.json [INFO] [stderr] error: unable to write file solution/best/16.json [INFO] [stderr] error: unable to write file solution/best/17.json [INFO] [stderr] error: unable to write file solution/best/18.json [INFO] [stderr] error: unable to write file solution/best/19.json [INFO] [stderr] error: unable to write file solution/best/2.json [INFO] [stderr] error: unable to write file solution/best/20.json [INFO] [stderr] error: unable to write file solution/best/21.json [INFO] [stderr] error: unable to write file solution/best/22.json [INFO] [stderr] error: unable to write file solution/best/23.json [INFO] [stderr] error: unable to write file solution/best/24.json [INFO] [stderr] error: unable to write file solution/best/25.json [INFO] [stderr] error: unable to write file solution/best/26.json [INFO] [stderr] error: unable to write file solution/best/27.json [INFO] [stderr] error: unable to write file solution/best/28.json [INFO] [stderr] error: unable to write file solution/best/29.json [INFO] [stderr] error: unable to write file solution/best/3.json [INFO] [stderr] error: unable to write file solution/best/30.json [INFO] [stderr] error: unable to write file solution/best/31.json [INFO] [stderr] error: unable to write file solution/best/32.json [INFO] [stderr] error: unable to write file solution/best/33.json [INFO] [stderr] error: unable to write file solution/best/34.json [INFO] [stderr] error: unable to write file solution/best/35.json [INFO] [stderr] error: unable to write file solution/best/36.json [INFO] [stderr] error: unable to write file solution/best/37.json [INFO] [stderr] error: unable to write file solution/best/38.json [INFO] [stderr] error: unable to write file solution/best/39.json [INFO] [stderr] error: unable to write file solution/best/4.json [INFO] [stderr] error: unable to write file solution/best/40.json [INFO] [stderr] error: unable to write file solution/best/41.json [INFO] [stderr] error: unable to write file solution/best/42.json [INFO] [stderr] error: unable to write file solution/best/43.json [INFO] [stderr] error: unable to write file solution/best/44.json [INFO] [stderr] error: unable to write file solution/best/45.json [INFO] [stderr] error: unable to write file solution/best/46.json [INFO] [stderr] error: unable to write file solution/best/47.json [INFO] [stderr] error: unable to write file solution/best/48.json [INFO] [stderr] error: unable to write file solution/best/49.json [INFO] [stderr] error: unable to write file solution/best/5.json [INFO] [stderr] error: unable to write file solution/best/50.json [INFO] [stderr] error: unable to write file solution/best/51.json [INFO] [stderr] error: unable to write file solution/best/52.json [INFO] [stderr] error: unable to write file solution/best/53.json [INFO] [stderr] error: unable to write file solution/best/54.json [INFO] [stderr] error: unable to write file solution/best/55.json [INFO] [stderr] error: unable to write file solution/best/56.json [INFO] [stderr] error: unable to write file solution/best/57.json [INFO] [stderr] error: unable to write file solution/best/58.json [INFO] [stderr] error: unable to write file solution/best/59.json [INFO] [stderr] error: unable to write file solution/best/6.json [INFO] [stderr] error: unable to write file solution/best/60.json [INFO] [stderr] error: unable to write file solution/best/61.json [INFO] [stderr] error: unable to write file solution/best/62.json [INFO] [stderr] error: unable to write file solution/best/63.json [INFO] [stderr] error: unable to write file solution/best/64.json [INFO] [stderr] error: unable to write file solution/best/65.json [INFO] [stderr] error: unable to write file solution/best/66.json [INFO] [stderr] error: unable to write file solution/best/67.json [INFO] [stderr] error: unable to write file solution/best/68.json [INFO] [stderr] error: unable to write file solution/best/69.json [INFO] [stderr] error: unable to write file solution/best/7.json [INFO] [stderr] error: unable to write file solution/best/70.json [INFO] [stderr] error: unable to write file solution/best/71.json [INFO] [stderr] error: unable to write file solution/best/72.json [INFO] [stderr] error: unable to write file solution/best/73.json [INFO] [stderr] error: unable to write file solution/best/74.json [INFO] [stderr] error: unable to write file solution/best/75.json [INFO] [stderr] error: unable to write file solution/best/76.json [INFO] [stderr] error: unable to write file solution/best/77.json [INFO] [stderr] error: unable to write file solution/best/78.json [INFO] [stderr] error: unable to write file solution/best/79.json [INFO] [stderr] error: unable to write file solution/best/8.json [INFO] [stderr] error: unable to write file solution/best/80.json [INFO] [stderr] error: unable to write file solution/best/81.json [INFO] [stderr] error: unable to write file solution/best/82.json [INFO] [stderr] error: unable to write file solution/best/83.json [INFO] [stderr] error: unable to write file solution/best/84.json [INFO] [stderr] error: unable to write file solution/best/85.json [INFO] [stderr] error: unable to write file solution/best/86.json [INFO] [stderr] error: unable to write file solution/best/87.json [INFO] [stderr] error: unable to write file solution/best/88.json [INFO] [stderr] error: unable to write file solution/best/89.json [INFO] [stderr] error: unable to write file solution/best/9.json [INFO] [stderr] error: unable to write file solution/best/90.json [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] [INFO] checking hayatoito/icfp2023 against try#3ec2a775459d36c7d90654e47c56ff7bb0d542ab for pr-139087 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhayatoito%2Ficfp2023" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file problem/8.json [INFO] [stderr] error: unable to write file problem/80.json [INFO] [stderr] error: unable to write file problem/81.json [INFO] [stderr] error: unable to write file problem/82.json [INFO] [stderr] error: unable to write file problem/83.json [INFO] [stderr] error: unable to write file problem/84.json [INFO] [stderr] error: unable to write file problem/85.json [INFO] [stderr] error: unable to write file problem/86.json [INFO] [stderr] error: unable to write file problem/87.json [INFO] [stderr] error: unable to write file problem/88.json [INFO] [stderr] error: unable to write file problem/89.json [INFO] [stderr] error: unable to write file problem/9.json [INFO] [stderr] error: unable to write file problem/90.json [INFO] [stderr] fatal: cannot create directory at 'problem/example': 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#3ec2a775459d36c7d90654e47c56ff7bb0d542ab for pr-139087 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhayatoito%2Ficfp2023" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file problem/8.json [INFO] [stderr] error: unable to write file problem/80.json [INFO] [stderr] error: unable to write file problem/81.json [INFO] [stderr] error: unable to write file problem/82.json [INFO] [stderr] error: unable to write file problem/83.json [INFO] [stderr] error: unable to write file problem/84.json [INFO] [stderr] error: unable to write file problem/85.json [INFO] [stderr] error: unable to write file problem/86.json [INFO] [stderr] error: unable to write file problem/87.json [INFO] [stderr] error: unable to write file problem/88.json [INFO] [stderr] error: unable to write file problem/89.json [INFO] [stderr] error: unable to write file problem/9.json [INFO] [stderr] error: unable to write file problem/90.json [INFO] [stderr] fatal: cannot create directory at 'problem/example': 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#3ec2a775459d36c7d90654e47c56ff7bb0d542ab for pr-139087 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhayatoito%2Ficfp2023" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file problem/78.json [INFO] [stderr] error: unable to write file problem/79.json [INFO] [stderr] error: unable to write file problem/8.json [INFO] [stderr] error: unable to write file problem/80.json [INFO] [stderr] error: unable to write file problem/81.json [INFO] [stderr] error: unable to write file problem/82.json [INFO] [stderr] error: unable to write file problem/83.json [INFO] [stderr] error: unable to write file problem/84.json [INFO] [stderr] error: unable to write file problem/85.json [INFO] [stderr] error: unable to write file problem/86.json [INFO] [stderr] error: unable to write file problem/87.json [INFO] [stderr] error: unable to write file problem/88.json [INFO] [stderr] error: unable to write file problem/89.json [INFO] [stderr] error: unable to write file problem/9.json [INFO] [stderr] error: unable to write file problem/90.json [INFO] [stderr] fatal: cannot create directory at 'problem/example': 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/hayatoito/icfp2023 Caused by: command failed: exit status: 128