[INFO] cloning repository https://github.com/ichyo/ICFPC2023 [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/ichyo/ICFPC2023" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fichyo%2FICFPC2023", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fichyo%2FICFPC2023'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] dd7ade4c231ee2ff3838bf1bdd8348632fb42db6 [INFO] checking ichyo/ICFPC2023 against master#350d0ef0ec0493e6d21cfb265cb8211a0e74d766 for pr-145342 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fichyo%2FICFPC2023" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file problems/5.json [INFO] [stderr] error: unable to write file problems/50.json [INFO] [stderr] Updating files: 50% (50/99) error: unable to write file problems/51.json [INFO] [stderr] Updating files: 51% (51/99) error: unable to write file problems/52.json [INFO] [stderr] Updating files: 52% (52/99) error: unable to write file problems/53.json [INFO] [stderr] Updating files: 53% (53/99) error: unable to write file problems/54.json [INFO] [stderr] Updating files: 54% (54/99) error: unable to write file problems/55.json [INFO] [stderr] Updating files: 55% (55/99) error: unable to write file problems/56.json [INFO] [stderr] Updating files: 56% (56/99) error: unable to write file problems/57.json [INFO] [stderr] Updating files: 57% (57/99) error: unable to write file problems/58.json [INFO] [stderr] Updating files: 58% (58/99) error: unable to write file problems/59.json [INFO] [stderr] Updating files: 59% (59/99) error: unable to write file problems/6.json [INFO] [stderr] Updating files: 60% (60/99) error: unable to write file problems/60.json [INFO] [stderr] Updating files: 61% (61/99) error: unable to write file problems/61.json [INFO] [stderr] Updating files: 62% (62/99) error: unable to write file problems/62.json [INFO] [stderr] Updating files: 63% (63/99) error: unable to write file problems/63.json [INFO] [stderr] Updating files: 64% (64/99) error: unable to write file problems/64.json [INFO] [stderr] Updating files: 65% (65/99) error: unable to write file problems/65.json [INFO] [stderr] Updating files: 66% (66/99) error: unable to write file problems/66.json [INFO] [stderr] Updating files: 67% (67/99) error: unable to write file problems/67.json [INFO] [stderr] Updating files: 68% (68/99) error: unable to write file problems/68.json [INFO] [stderr] Updating files: 69% (69/99) error: unable to write file problems/69.json [INFO] [stderr] Updating files: 70% (70/99) error: unable to write file problems/7.json [INFO] [stderr] Updating files: 71% (71/99) error: unable to write file problems/70.json [INFO] [stderr] Updating files: 72% (72/99) error: unable to write file problems/71.json [INFO] [stderr] Updating files: 73% (73/99) error: unable to write file problems/72.json [INFO] [stderr] Updating files: 74% (74/99) error: unable to write file problems/73.json [INFO] [stderr] Updating files: 75% (75/99) error: unable to write file problems/74.json [INFO] [stderr] Updating files: 76% (76/99) error: unable to write file problems/75.json [INFO] [stderr] Updating files: 77% (77/99) error: unable to write file problems/76.json [INFO] [stderr] Updating files: 78% (78/99) error: unable to write file problems/77.json [INFO] [stderr] Updating files: 79% (79/99) error: unable to write file problems/78.json [INFO] [stderr] Updating files: 80% (80/99) error: unable to write file problems/79.json [INFO] [stderr] Updating files: 81% (81/99) error: unable to write file problems/8.json [INFO] [stderr] Updating files: 82% (82/99) error: unable to write file problems/80.json [INFO] [stderr] Updating files: 83% (83/99) error: unable to write file problems/81.json [INFO] [stderr] Updating files: 84% (84/99) error: unable to write file problems/82.json [INFO] [stderr] Updating files: 85% (85/99) error: unable to write file problems/83.json [INFO] [stderr] Updating files: 86% (86/99) error: unable to write file problems/84.json [INFO] [stderr] Updating files: 87% (87/99) error: unable to write file problems/85.json [INFO] [stderr] Updating files: 88% (88/99) error: unable to write file problems/86.json [INFO] [stderr] Updating files: 89% (89/99) error: unable to write file problems/87.json [INFO] [stderr] Updating files: 90% (90/99) error: unable to write file problems/88.json [INFO] [stderr] Updating files: 91% (91/99) error: unable to write file problems/89.json [INFO] [stderr] Updating files: 92% (92/99) error: unable to write file problems/9.json [INFO] [stderr] Updating files: 93% (93/99) error: unable to write file problems/90.json [INFO] [stderr] Updating files: 94% (94/99) error: unable to write file resend.py [INFO] [stderr] Updating files: 95% (95/99) 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] failed to checkout https://github.com/ichyo/ICFPC2023 Caused by: command failed: exit status: 128