[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