[INFO] cloning repository https://github.com/xiaguan/Naive_hashmap
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/xiaguan/Naive_hashmap" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fxiaguan%2FNaive_hashmap", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fxiaguan%2FNaive_hashmap'...
[INFO] [stderr] /workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fxiaguan%2FNaive_hashmap/branches/: No space left on device
[WARN] Retrying crate fetch in 3 seconds (attempt 1)
[INFO] cloning repository https://github.com/xiaguan/Naive_hashmap
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/xiaguan/Naive_hashmap" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fxiaguan%2FNaive_hashmap", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fxiaguan%2FNaive_hashmap'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 43c5c063c7b7da6985de7273d6ba1871eb654414
[INFO] checking xiaguan/Naive_hashmap against master#75530e9f72a1990ed2305e16fd51d02f47048f12 for pr-135899
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fxiaguan%2FNaive_hashmap" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'...
[INFO] [stderr] done.
[INFO] [stderr] error: unable to write file resources/out/default/queue/id:000017,src:000000,time:7,execs:195,op:havoc,rep:4
[INFO] [stderr] error: unable to write file resources/out/default/queue/id:000054,src:000030+000053,time:3166,execs:109153,op:splice,rep:8
[INFO] [stderr] error: unable to write file resources/out/default/queue/id:000055,src:000009+000054,time:3297,execs:113876,op:splice,rep:16
[INFO] [stderr] error: unable to write file resources/out/default/queue/id:000056,src:000009+000054,time:3298,execs:113885,op:splice,rep:16
[INFO] [stderr] error: unable to write file resources/out/default/queue/id:000057,src:000042+000055,time:3425,execs:117857,op:splice,rep:8
[INFO] [stderr] error: unable to write file resources/out/default/queue/id:000058,src:000042+000055,time:3429,execs:117900,op:splice,rep:16
[INFO] [stderr] error: unable to write file resources/out/default/queue/id:000059,src:000009+000057,time:3668,execs:126026,op:splice,rep:8
[INFO] [stderr] error: unable to create file resources/out/default/queue/id:000060,src:000009+000057,time:3670,execs:126055,op:splice,rep:4: No space left on device
[INFO] [stderr] error: unable to create file resources/out/default/queue/id:000061,src:000009+000059,time:5658,execs:190585,op:splice,rep:32: No space left on device
[INFO] [stderr] error: unable to create file resources/out/default/queue/id:000062,src:000009+000050,time:9857,execs:323088,op:splice,rep:32: No space left on device
[INFO] [stderr] error: unable to create file resources/out/default/queue/id:000063,src:000009+000062,time:9863,execs:323253,op:splice,rep:32: No space left on device
[INFO] [stderr] error: unable to create file resources/out/default/queue/id:000064,src:000042+000063,time:10741,execs:350462,op:splice,rep:2: No space left on device
[INFO] [stderr] error: unable to create file resources/out/default/queue/id:000065,src:000009+000061,time:42214,execs:1311505,op:splice,rep:32: No space left on device
[INFO] [stderr] error: unable to create file resources/out/default/queue/id:000066,src:000009+000065,time:44070,execs:1369549,op:splice,rep:64: No space left on device
[INFO] [stderr] error: unable to create file resources/out/default/queue/id:000067,src:000009+000065,time:60774,execs:1864893,op:splice,rep:32: No space left on device
[INFO] [stderr] error: unable to create file resources/out/default/queue/id:000068,src:000042+000065,time:101620,execs:3075282,op:splice,rep:32: No space left on device
[INFO] [stderr] error: unable to create file resources/out/default/queue/id:000069,src:000009+000064,time:250707,execs:7466364,op:splice,rep:32: No space left on device
[INFO] [stderr] error: unable to create file resources/out/default/queue/id:000070,src:000009+000069,time:251055,execs:7477201,op:splice,rep:4: No space left on device
[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] 


failed to checkout https://github.com/xiaguan/Naive_hashmap

Caused by:
    command failed: exit status: 128