[INFO] cloning repository https://github.com/jakeswenson/icfp-2023 [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/jakeswenson/icfp-2023" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjakeswenson%2Ficfp-2023", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjakeswenson%2Ficfp-2023'... [INFO] [stderr] fatal: write error: No space left on device [INFO] [stderr] fatal: fetch-pack: invalid index-pack output [WARN] Retrying crate fetch in 3 seconds (attempt 1) [INFO] cloning repository https://github.com/jakeswenson/icfp-2023 [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/jakeswenson/icfp-2023" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjakeswenson%2Ficfp-2023", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjakeswenson%2Ficfp-2023'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] b92c76967a54e7bd812dd0afced1af10e960ed5f [INFO] building jakeswenson/icfp-2023 against master#ad211ced81509462cdfe4c29ed10f97279a0acae for pr-135216 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fjakeswenson%2Ficfp-2023" "/workspace/builds/worker-5-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc1/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file problems/problem-18.json [INFO] [stderr] error: unable to write file problems/problem-19.json [INFO] [stderr] Updating files: 14% (17/120) error: unable to write file problems/problem-2.json [INFO] [stderr] Updating files: 15% (18/120) error: unable to write file problems/problem-20.json [INFO] [stderr] error: unable to write file problems/problem-21.json [INFO] [stderr] Updating files: 16% (20/120) error: unable to write file problems/problem-22.json [INFO] [stderr] Updating files: 17% (21/120) error: unable to write file problems/problem-23.json [INFO] [stderr] Updating files: 18% (22/120) error: unable to write file problems/problem-24.json [INFO] [stderr] Updating files: 19% (23/120) error: unable to write file problems/problem-25.json [INFO] [stderr] Updating files: 20% (24/120) error: unable to write file problems/problem-26.json [INFO] [stderr] error: unable to write file problems/problem-27.json [INFO] [stderr] Updating files: 21% (26/120) error: unable to write file problems/problem-28.json [INFO] [stderr] Updating files: 22% (27/120) error: unable to write file problems/problem-29.json [INFO] [stderr] Updating files: 23% (28/120) error: unable to write file problems/problem-3.json [INFO] [stderr] Updating files: 24% (29/120) error: unable to write file problems/problem-30.json [INFO] [stderr] Updating files: 25% (30/120) error: unable to write file problems/problem-31.json [INFO] [stderr] error: unable to write file problems/problem-32.json [INFO] [stderr] Updating files: 26% (32/120) error: unable to write file problems/problem-33.json [INFO] [stderr] Updating files: 27% (33/120) error: unable to write file problems/problem-34.json [INFO] [stderr] Updating files: 28% (34/120) error: unable to write file problems/problem-35.json [INFO] [stderr] Updating files: 29% (35/120) error: unable to write file problems/problem-36.json [INFO] [stderr] Updating files: 30% (36/120) error: unable to write file problems/problem-37.json [INFO] [stderr] error: unable to write file problems/problem-38.json [INFO] [stderr] Updating files: 31% (38/120) error: unable to write file problems/problem-39.json [INFO] [stderr] Updating files: 32% (39/120) error: unable to write file problems/problem-4.json [INFO] [stderr] Updating files: 33% (40/120) error: unable to write file problems/problem-40.json [INFO] [stderr] Updating files: 34% (41/120) error: unable to write file problems/problem-41.json [INFO] [stderr] Updating files: 35% (42/120) error: unable to write file problems/problem-42.json [INFO] [stderr] error: unable to write file problems/problem-43.json [INFO] [stderr] Updating files: 36% (44/120) error: unable to write file problems/problem-44.json [INFO] [stderr] Updating files: 37% (45/120) error: unable to write file problems/problem-45.json [INFO] [stderr] Updating files: 38% (46/120) error: unable to write file problems/problem-46.json [INFO] [stderr] Updating files: 39% (47/120) error: unable to write file problems/problem-47.json [INFO] [stderr] Updating files: 40% (48/120) error: unable to write file problems/problem-48.json [INFO] [stderr] error: unable to write file problems/problem-49.json [INFO] [stderr] Updating files: 41% (50/120) error: unable to write file problems/problem-5.json [INFO] [stderr] Updating files: 42% (51/120) error: unable to write file problems/problem-50.json [INFO] [stderr] Updating files: 43% (52/120) error: unable to write file problems/problem-51.json [INFO] [stderr] Updating files: 44% (53/120) error: unable to write file problems/problem-52.json [INFO] [stderr] Updating files: 45% (54/120) error: unable to write file problems/problem-53.json [INFO] [stderr] error: unable to write file problems/problem-54.json [INFO] [stderr] Updating files: 46% (56/120) error: unable to write file problems/problem-55.json [INFO] [stderr] Updating files: 47% (57/120) Updating files: 48% (58/120) Updating files: 49% (59/120) Updating files: 50% (60/120) Updating files: 51% (62/120) Updating files: 52% (63/120) Updating files: 53% (64/120) Updating files: 54% (65/120) Updating files: 55% (66/120) Updating files: 56% (68/120) Updating files: 57% (69/120) Updating files: 58% (70/120) Updating files: 59% (71/120) Updating files: 60% (72/120) error: unable to write file problems/problem-70.json [INFO] [stderr] Updating files: 61% (74/120) error: unable to write file problems/problem-71.json [INFO] [stderr] Updating files: 62% (75/120) error: unable to write file problems/problem-72.json [INFO] [stderr] Updating files: 63% (76/120) error: unable to write file problems/problem-73.json [INFO] [stderr] Updating files: 64% (77/120) error: unable to write file problems/problem-74.json [INFO] [stderr] Updating files: 65% (78/120) error: unable to write file problems/problem-75.json [INFO] [stderr] error: unable to write file problems/problem-76.json [INFO] [stderr] Updating files: 66% (80/120) error: unable to write file problems/problem-77.json [INFO] [stderr] Updating files: 67% (81/120) error: unable to write file problems/problem-78.json [INFO] [stderr] Updating files: 68% (82/120) error: unable to write file problems/problem-79.json [INFO] [stderr] Updating files: 69% (83/120) error: unable to write file problems/problem-8.json [INFO] [stderr] Updating files: 70% (84/120) error: unable to write file problems/problem-80.json [INFO] [stderr] error: unable to write file problems/problem-81.json [INFO] [stderr] Updating files: 71% (86/120) error: unable to write file problems/problem-82.json [INFO] [stderr] Updating files: 72% (87/120) error: unable to write file problems/problem-83.json [INFO] [stderr] Updating files: 73% (88/120) error: unable to write file problems/problem-84.json [INFO] [stderr] Updating files: 74% (89/120) error: unable to write file problems/problem-85.json [INFO] [stderr] Updating files: 75% (90/120) error: unable to write file problems/problem-86.json [INFO] [stderr] error: unable to write file problems/problem-87.json [INFO] [stderr] Updating files: 76% (92/120) error: unable to write file problems/problem-88.json [INFO] [stderr] Updating files: 77% (93/120) error: unable to write file problems/problem-89.json [INFO] [stderr] Updating files: 78% (94/120) error: unable to write file problems/problem-9.json [INFO] [stderr] Updating files: 79% (95/120) error: unable to write file problems/problem-90.json [INFO] [stderr] Updating files: 80% (96/120) error: unable to write file problems/solution-problem-1.json [INFO] [stderr] error: unable to write file problems/solution-problem-10.json [INFO] [stderr] Updating files: 81% (98/120) error: unable to write file problems/solution-problem-11.json [INFO] [stderr] Updating files: 82% (99/120) error: unable to write file problems/solution-problem-12.json [INFO] [stderr] Updating files: 83% (100/120) error: unable to write file problems/solution-problem-13.json [INFO] [stderr] Updating files: 84% (101/120) error: unable to write file problems/solution-problem-14.json [INFO] [stderr] Updating files: 85% (102/120) error: unable to write file problems/solution-problem-15.json [INFO] [stderr] error: unable to write file problems/solution-problem-16.json [INFO] [stderr] Updating files: 86% (104/120) error: unable to write file problems/solution-problem-17.json [INFO] [stderr] Updating files: 87% (105/120) error: unable to write file problems/solution-problem-18.json [INFO] [stderr] Updating files: 88% (106/120) error: unable to write file problems/solution-problem-19.json [INFO] [stderr] Updating files: 89% (107/120) error: unable to write file problems/solution-problem-2.json [INFO] [stderr] Updating files: 90% (108/120) error: unable to write file problems/solution-problem-3.json [INFO] [stderr] error: unable to write file problems/solution-problem-4.json [INFO] [stderr] Updating files: 91% (110/120) error: unable to write file problems/solution-problem-5.json [INFO] [stderr] Updating files: 92% (111/120) error: unable to write file problems/solution-problem-6.json [INFO] [stderr] Updating files: 93% (112/120) error: unable to write file problems/solution-problem-7.json [INFO] [stderr] Updating files: 94% (113/120) error: unable to write file problems/solution-problem-8.json [INFO] [stderr] Updating files: 95% (114/120) error: unable to write file problems/solution-problem-9.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] ExecutionFailed(ExitStatus(unix_wait_status(32768))) failed to checkout https://github.com/jakeswenson/icfp-2023