[INFO] cloning repository https://github.com/secure-foundations/mariposa
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/secure-foundations/mariposa" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsecure-foundations%2Fmariposa", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsecure-foundations%2Fmariposa'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 8646e7b1c601f7154e93d85ebb1083ce1ed47f95
[INFO] checking secure-foundations/mariposa against master#cd7cbe818e4a66d46fe2df993d1b8518eba8a5cd for pr-145463
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsecure-foundations%2Fmariposa" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'...
[INFO] [stderr] done.
[INFO] [stderr] Updating files:   2% (7/317)
Updating files:   2% (8/317)
Updating files:   3% (10/317)
Updating files:   3% (12/317)
Updating files:   4% (13/317)
Updating files:   4% (15/317)
Updating files:   5% (16/317)
Updating files:   6% (20/317)
Updating files:   6% (21/317)
Updating files:   7% (23/317)
Updating files:   7% (24/317)
Updating files:   8% (26/317)
Updating files:   9% (29/317)
Updating files:  10% (32/317)
Updating files:  10% (33/317)
Updating files:  11% (35/317)
Updating files:  12% (39/317)
Updating files:  13% (42/317)
Updating files:  14% (45/317)
Updating files:  15% (48/317)
Updating files:  16% (51/317)
Updating files:  17% (54/317)
Updating files:  18% (58/317)
Updating files:  19% (61/317)
Updating files:  20% (64/317)
Updating files:  21% (67/317)
Updating files:  22% (70/317)
Updating files:  23% (73/317)
Updating files:  24% (77/317)
Updating files:  25% (80/317)
Updating files:  26% (83/317)
Updating files:  27% (86/317)
Updating files:  28% (89/317)
Updating files:  29% (92/317)
Updating files:  30% (96/317)
Updating files:  31% (99/317)
Updating files:  32% (102/317)
Updating files:  33% (105/317)
Updating files:  33% (107/317)
Updating files:  34% (108/317)
Updating files:  35% (111/317)
Updating files:  36% (115/317)
Updating files:  37% (118/317)
Updating files:  38% (121/317)
Updating files:  39% (124/317)
Updating files:  40% (127/317)
Updating files:  41% (130/317)
Updating files:  42% (134/317)
Updating files:  43% (137/317)
Updating files:  44% (140/317)
Updating files:  45% (143/317)
Updating files:  46% (146/317)
Updating files:  47% (149/317)
Updating files:  48% (153/317)
Updating files:  49% (156/317)
Updating files:  50% (159/317)
Updating files:  51% (162/317)
Updating files:  52% (165/317)
Updating files:  53% (169/317)
Updating files:  54% (172/317)
Updating files:  55% (175/317)
Updating files:  56% (178/317)
Updating files:  57% (181/317)
Updating files:  57% (183/317)
Updating files:  58% (184/317)
Updating files:  59% (188/317)
Updating files:  60% (191/317)
Updating files:  61% (194/317)
Updating files:  62% (197/317)
Updating files:  63% (200/317)
Updating files:  64% (203/317)
Updating files:  65% (207/317)
Updating files:  66% (210/317)
Updating files:  67% (213/317)
Updating files:  68% (216/317)
Updating files:  69% (219/317)
Updating files:  70% (222/317)
Updating files:  71% (226/317)
Updating files:  72% (229/317)
Updating files:  73% (232/317)
Updating files:  74% (235/317)
Updating files:  75% (238/317)
Updating files:  76% (241/317)
Updating files:  77% (245/317)
Updating files:  78% (248/317)
Updating files:  79% (251/317)
Updating files:  80% (254/317)
Updating files:  81% (257/317)
Updating files:  82% (260/317)
Updating files:  83% (264/317)
Updating files:  84% (267/317)
Updating files:  85% (270/317)
Updating files:  86% (273/317)
Updating files:  87% (276/317)
Updating files:  88% (279/317)
error: unable to write file src/smt2action/smt2utils/z3tracer/tests/data/file1.log
[INFO] [stderr] Updating files:  88% (281/317)
error: unable to write file src/smt2action/smt2utils/z3tracer/tests/data/file2.log
[INFO] [stderr] error: unable to write file src/smt2action/smt2utils/z3tracer/tests/data/file3.log
[INFO] [stderr] Updating files:  89% (283/317)
error: unable to write file src/smt2action/smt2utils/z3tracer/tests/data/file4.log
[INFO] [stderr] error: unable to write file src/smt2action/smt2utils/z3tracer/tests/model.rs
[INFO] [stderr] fatal: cannot create directory at 'src/smt2action/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/secure-foundations/mariposa

Caused by:
    command failed: exit status: 128