[INFO] cloning repository https://github.com/creativemindplus/MIRAI
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/creativemindplus/MIRAI" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcreativemindplus%2FMIRAI", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcreativemindplus%2FMIRAI'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 576dc3e37421fa390da9dfec122443d36fc817e0
[INFO] checking creativemindplus/MIRAI against master#32cd9114712a24010b0583624dc52ac302194128 for pr-143717
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcreativemindplus%2FMIRAI" "/workspace/builds/worker-4-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc1/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file binaries/libz3.a
[INFO] [stderr] Updating files:   5% (18/350)
Updating files:   6% (21/350)
Updating files:   7% (25/350)
Updating files:   8% (28/350)
Updating files:   9% (32/350)
Updating files:  10% (35/350)
Updating files:  11% (39/350)
Updating files:  12% (42/350)
Updating files:  13% (46/350)
Updating files:  14% (49/350)
Updating files:  15% (53/350)
Updating files:  16% (56/350)
Updating files:  17% (60/350)
Updating files:  18% (63/350)
Updating files:  19% (67/350)
Updating files:  20% (70/350)
Updating files:  21% (74/350)
Updating files:  22% (77/350)
Updating files:  23% (81/350)
Updating files:  24% (84/350)
Updating files:  25% (88/350)
Updating files:  26% (91/350)
Updating files:  27% (95/350)
Updating files:  28% (98/350)
Updating files:  29% (102/350)
Updating files:  30% (105/350)
Updating files:  31% (109/350)
Updating files:  32% (112/350)
Updating files:  33% (116/350)
Updating files:  34% (119/350)
Updating files:  35% (123/350)
Updating files:  36% (126/350)
Updating files:  37% (130/350)
Updating files:  38% (133/350)
Updating files:  39% (137/350)
Updating files:  40% (140/350)
Updating files:  41% (144/350)
Updating files:  42% (147/350)
Updating files:  43% (151/350)
Updating files:  44% (154/350)
Updating files:  45% (158/350)
Updating files:  46% (161/350)
Updating files:  47% (165/350)
Updating files:  48% (168/350)
Updating files:  49% (172/350)
Updating files:  50% (175/350)
Updating files:  51% (179/350)
Updating files:  52% (182/350)
Updating files:  53% (186/350)
Updating files:  54% (189/350)
Updating files:  55% (193/350)
Updating files:  56% (196/350)
Updating files:  57% (200/350)
Updating files:  58% (203/350)
Updating files:  59% (207/350)
Updating files:  60% (210/350)
Updating files:  61% (214/350)
Updating files:  62% (217/350)
Updating files:  63% (221/350)
Updating files:  64% (224/350)
Updating files:  65% (228/350)
Updating files:  66% (231/350)
Updating files:  67% (235/350)
Updating files:  68% (238/350)
Updating files:  69% (242/350)
Updating files:  70% (245/350)
Updating files:  71% (249/350)
Updating files:  72% (252/350)
Updating files:  73% (256/350)
Updating files:  74% (259/350)
Updating files:  75% (263/350)
Updating files:  76% (266/350)
Updating files:  77% (270/350)
Updating files:  78% (273/350)
Updating files:  79% (277/350)
Updating files:  80% (280/350)
Updating files:  81% (284/350)
Updating files:  82% (287/350)
Updating files:  83% (291/350)
Updating files:  84% (294/350)
Updating files:  85% (298/350)
Updating files:  86% (301/350)
Updating files:  87% (305/350)
Updating files:  88% (308/350)
Updating files:  89% (312/350)
Updating files:  90% (315/350)
Updating files:  91% (319/350)
Updating files:  92% (322/350)
Updating files:  93% (326/350)
Updating files:  94% (329/350)
Updating files:  95% (333/350)
Updating files:  96% (336/350)
Updating files:  97% (340/350)
Updating files:  98% (343/350)
Updating files:  99% (347/350)
Updating files: 100% (350/350)
Updating files: 100% (350/350), done.
[INFO] [stderr] fatal: unable to checkout working tree
[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/creativemindplus/MIRAI

Caused by:
    command failed: exit status: 128