[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
    
    