[INFO] cloning repository https://github.com/wetkeyboard/LeetCode_Rust [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/wetkeyboard/LeetCode_Rust" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fwetkeyboard%2FLeetCode_Rust", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fwetkeyboard%2FLeetCode_Rust'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 958f67fc0d890361e6fb44875bef30666c088dd4 [INFO] checking wetkeyboard/LeetCode_Rust against try#44f3504e96c944ae54fc72b5f5008f53f7eda001 for pr-136776 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fwetkeyboard%2FLeetCode_Rust" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file src/easy/task_01991.rs [INFO] [stderr] error: unable to write file src/easy/task_01995.rs [INFO] [stderr] error: unable to write file src/easy/task_02000.rs [INFO] [stderr] error: unable to write file src/easy/task_02006.rs [INFO] [stderr] error: unable to write file src/easy/task_02011.rs [INFO] [stderr] error: unable to write file src/easy/task_02016.rs [INFO] [stderr] error: unable to create file src/easy/task_02022.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02027.rs [INFO] [stderr] error: unable to create file src/easy/task_02032.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02037.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02042.rs [INFO] [stderr] error: unable to write file src/easy/task_02047.rs [INFO] [stderr] error: unable to create file src/easy/task_02053.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02057.rs [INFO] [stderr] error: unable to write file src/easy/task_02062.rs [INFO] [stderr] error: unable to write file src/easy/task_02068.rs [INFO] [stderr] error: unable to write file src/easy/task_02073.rs [INFO] [stderr] error: unable to create file src/easy/task_02078.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02085.rs [INFO] [stderr] error: unable to write file src/easy/task_02089.rs [INFO] [stderr] error: unable to write file src/easy/task_02094.rs [INFO] [stderr] error: unable to create file src/easy/task_02099.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02103.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02108.rs [INFO] [stderr] error: unable to write file src/easy/task_02114.rs [INFO] [stderr] error: unable to create file src/easy/task_02119.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02124.rs [INFO] [stderr] error: unable to create file src/easy/task_02129.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02133.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02138.rs [INFO] [stderr] error: unable to write file src/easy/task_02144.rs [INFO] [stderr] error: unable to create file src/easy/task_02148.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02154.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02160.rs [INFO] [stderr] error: unable to create file src/easy/task_02164.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02169.rs [INFO] [stderr] error: unable to create file src/easy/task_02176.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02180.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02185.rs [INFO] [stderr] error: unable to write file src/easy/task_02190.rs [INFO] [stderr] error: unable to create file src/easy/task_02194.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02200.rs [INFO] [stderr] error: unable to write file src/easy/task_02206.rs [INFO] [stderr] error: unable to write file src/easy/task_02210.rs [INFO] [stderr] error: unable to write file src/easy/task_02215.rs [INFO] [stderr] error: unable to write file src/easy/task_02220.rs [INFO] [stderr] error: unable to create file src/easy/task_02224.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02231.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02236.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02239.rs [INFO] [stderr] error: unable to create file src/easy/task_02243.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02248.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02255.rs [INFO] [stderr] error: unable to write file src/easy/task_02259.rs [INFO] [stderr] error: unable to create file src/easy/task_02264.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02269.rs [INFO] [stderr] error: unable to create file src/easy/task_02273.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02278.rs [INFO] [stderr] error: unable to write file src/easy/task_02283.rs [INFO] [stderr] error: unable to write file src/easy/task_02287.rs [INFO] [stderr] error: unable to create file src/easy/task_02293.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02299.rs [INFO] [stderr] error: unable to write file src/easy/task_02303.rs [INFO] [stderr] error: unable to create file src/easy/task_02309.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02315.rs [INFO] [stderr] error: unable to create file src/easy/task_02319.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02325.rs [INFO] [stderr] error: unable to create file src/easy/task_02331.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02335.rs [INFO] [stderr] error: unable to write file src/easy/task_02341.rs [INFO] [stderr] error: unable to create file src/easy/task_02347.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02351.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02357.rs [INFO] [stderr] error: unable to create file src/easy/task_02363.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02367.rs [INFO] [stderr] error: unable to write file src/easy/task_02373.rs [INFO] [stderr] error: unable to create file src/easy/task_02379.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02383.rs [INFO] [stderr] error: unable to write file src/easy/task_02389.rs [INFO] [stderr] error: unable to write file src/easy/task_02395.rs [INFO] [stderr] error: unable to create file src/easy/task_02399.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02404.rs [INFO] [stderr] error: unable to write file src/easy/task_02409.rs [INFO] [stderr] error: unable to create file src/easy/task_02413.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02418.rs [INFO] [stderr] error: unable to create file src/easy/task_02423.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02427.rs [INFO] [stderr] error: unable to create file src/easy/task_02432.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02437.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02441.rs [INFO] [stderr] error: unable to write file src/easy/task_02446.rs [INFO] [stderr] error: unable to create file src/easy/task_02451.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02455.rs [INFO] [stderr] error: unable to create file src/easy/task_02460.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02465.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02469.rs [INFO] [stderr] error: unable to write file src/easy/task_02475.rs [INFO] [stderr] error: unable to create file src/easy/task_02481.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02485.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02490.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02496.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02500.rs [INFO] [stderr] error: unable to write file src/easy/task_02506.rs [INFO] [stderr] error: unable to write file src/easy/task_02511.rs [INFO] [stderr] error: unable to create file src/easy/task_02515.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02520.rs [INFO] [stderr] error: unable to write file src/easy/task_02525.rs [INFO] [stderr] error: unable to write file src/easy/task_02529.rs [INFO] [stderr] error: unable to write file src/easy/task_02535.rs [INFO] [stderr] error: unable to create file src/easy/task_02540.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02544.rs [INFO] [stderr] error: unable to create file src/easy/task_02549.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02553.rs [INFO] [stderr] error: unable to write file src/easy/task_02558.rs [INFO] [stderr] error: unable to write file src/easy/task_02562.rs [INFO] [stderr] error: unable to write file src/easy/task_02566.rs [INFO] [stderr] error: unable to write file src/easy/task_02570.rs [INFO] [stderr] error: unable to write file src/easy/task_02574.rs [INFO] [stderr] error: unable to create file src/easy/task_02578.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02582.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02586.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02591.rs [INFO] [stderr] error: unable to write file src/easy/task_02595.rs [INFO] [stderr] error: unable to write file src/easy/task_02600.rs [INFO] [stderr] error: unable to write file src/easy/task_02605.rs [INFO] [stderr] error: unable to write file src/easy/task_02609.rs [INFO] [stderr] error: unable to create file src/easy/task_02614.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02639.rs [INFO] [stderr] error: unable to write file src/easy/task_02643.rs [INFO] [stderr] error: unable to write file src/easy/task_02644.rs [INFO] [stderr] error: unable to write file src/easy/task_02651.rs [INFO] [stderr] error: unable to create file src/easy/task_02652.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02656.rs [INFO] [stderr] error: unable to write file src/easy/task_02660.rs [INFO] [stderr] error: unable to create file src/easy/task_05817.rs: No space left on device [INFO] [stderr] fatal: cannot create directory at 'src/hard': 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] [INFO] checking wetkeyboard/LeetCode_Rust against try#44f3504e96c944ae54fc72b5f5008f53f7eda001 for pr-136776 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fwetkeyboard%2FLeetCode_Rust" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file src/easy/task_01913.rs [INFO] [stderr] error: unable to write file src/easy/task_01920.rs [INFO] [stderr] error: unable to write file src/easy/task_01925.rs [INFO] [stderr] error: unable to write file src/easy/task_01929.rs [INFO] [stderr] error: unable to write file src/easy/task_01935.rs [INFO] [stderr] error: unable to write file src/easy/task_01941.rs [INFO] [stderr] error: unable to write file src/easy/task_01945.rs [INFO] [stderr] error: unable to write file src/easy/task_01952.rs [INFO] [stderr] error: unable to write file src/easy/task_01957.rs [INFO] [stderr] error: unable to write file src/easy/task_01961.rs [INFO] [stderr] error: unable to write file src/easy/task_01967.rs [INFO] [stderr] error: unable to write file src/easy/task_01974.rs [INFO] [stderr] error: unable to write file src/easy/task_01979.rs [INFO] [stderr] error: unable to write file src/easy/task_01984.rs [INFO] [stderr] error: unable to write file src/easy/task_01991.rs [INFO] [stderr] error: unable to write file src/easy/task_01995.rs [INFO] [stderr] error: unable to write file src/easy/task_02000.rs [INFO] [stderr] error: unable to write file src/easy/task_02006.rs [INFO] [stderr] error: unable to write file src/easy/task_02011.rs [INFO] [stderr] error: unable to write file src/easy/task_02016.rs [INFO] [stderr] error: unable to create file src/easy/task_02022.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02027.rs [INFO] [stderr] error: unable to create file src/easy/task_02032.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02037.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02042.rs [INFO] [stderr] error: unable to write file src/easy/task_02047.rs [INFO] [stderr] error: unable to create file src/easy/task_02053.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02057.rs [INFO] [stderr] error: unable to write file src/easy/task_02062.rs [INFO] [stderr] error: unable to write file src/easy/task_02068.rs [INFO] [stderr] error: unable to write file src/easy/task_02073.rs [INFO] [stderr] error: unable to create file src/easy/task_02078.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02085.rs [INFO] [stderr] error: unable to write file src/easy/task_02089.rs [INFO] [stderr] error: unable to write file src/easy/task_02094.rs [INFO] [stderr] error: unable to create file src/easy/task_02099.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02103.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02108.rs [INFO] [stderr] error: unable to write file src/easy/task_02114.rs [INFO] [stderr] error: unable to create file src/easy/task_02119.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02124.rs [INFO] [stderr] error: unable to create file src/easy/task_02129.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02133.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02138.rs [INFO] [stderr] error: unable to write file src/easy/task_02144.rs [INFO] [stderr] error: unable to create file src/easy/task_02148.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02154.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02160.rs [INFO] [stderr] error: unable to create file src/easy/task_02164.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02169.rs [INFO] [stderr] error: unable to create file src/easy/task_02176.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02180.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02185.rs [INFO] [stderr] error: unable to write file src/easy/task_02190.rs [INFO] [stderr] error: unable to create file src/easy/task_02194.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02200.rs [INFO] [stderr] error: unable to write file src/easy/task_02206.rs [INFO] [stderr] error: unable to write file src/easy/task_02210.rs [INFO] [stderr] error: unable to write file src/easy/task_02215.rs [INFO] [stderr] error: unable to write file src/easy/task_02220.rs [INFO] [stderr] error: unable to create file src/easy/task_02224.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02231.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02236.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02239.rs [INFO] [stderr] error: unable to create file src/easy/task_02243.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02248.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02255.rs [INFO] [stderr] error: unable to write file src/easy/task_02259.rs [INFO] [stderr] error: unable to create file src/easy/task_02264.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02269.rs [INFO] [stderr] error: unable to create file src/easy/task_02273.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02278.rs [INFO] [stderr] error: unable to write file src/easy/task_02283.rs [INFO] [stderr] error: unable to write file src/easy/task_02287.rs [INFO] [stderr] error: unable to create file src/easy/task_02293.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02299.rs [INFO] [stderr] error: unable to write file src/easy/task_02303.rs [INFO] [stderr] error: unable to create file src/easy/task_02309.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02315.rs [INFO] [stderr] error: unable to create file src/easy/task_02319.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02325.rs [INFO] [stderr] error: unable to create file src/easy/task_02331.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02335.rs [INFO] [stderr] error: unable to write file src/easy/task_02341.rs [INFO] [stderr] error: unable to create file src/easy/task_02347.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02351.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02357.rs [INFO] [stderr] error: unable to create file src/easy/task_02363.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02367.rs [INFO] [stderr] error: unable to write file src/easy/task_02373.rs [INFO] [stderr] error: unable to create file src/easy/task_02379.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02383.rs [INFO] [stderr] error: unable to write file src/easy/task_02389.rs [INFO] [stderr] error: unable to write file src/easy/task_02395.rs [INFO] [stderr] error: unable to create file src/easy/task_02399.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02404.rs [INFO] [stderr] error: unable to write file src/easy/task_02409.rs [INFO] [stderr] error: unable to create file src/easy/task_02413.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02418.rs [INFO] [stderr] error: unable to create file src/easy/task_02423.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02427.rs [INFO] [stderr] error: unable to create file src/easy/task_02432.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02437.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02441.rs [INFO] [stderr] error: unable to write file src/easy/task_02446.rs [INFO] [stderr] error: unable to create file src/easy/task_02451.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02455.rs [INFO] [stderr] error: unable to create file src/easy/task_02460.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02465.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02469.rs [INFO] [stderr] error: unable to write file src/easy/task_02475.rs [INFO] [stderr] error: unable to create file src/easy/task_02481.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02485.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02490.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02496.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02500.rs [INFO] [stderr] error: unable to write file src/easy/task_02506.rs [INFO] [stderr] error: unable to write file src/easy/task_02511.rs [INFO] [stderr] error: unable to create file src/easy/task_02515.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02520.rs [INFO] [stderr] error: unable to write file src/easy/task_02525.rs [INFO] [stderr] error: unable to write file src/easy/task_02529.rs [INFO] [stderr] error: unable to write file src/easy/task_02535.rs [INFO] [stderr] error: unable to create file src/easy/task_02540.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02544.rs [INFO] [stderr] error: unable to create file src/easy/task_02549.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02553.rs [INFO] [stderr] error: unable to write file src/easy/task_02558.rs [INFO] [stderr] error: unable to write file src/easy/task_02562.rs [INFO] [stderr] error: unable to write file src/easy/task_02566.rs [INFO] [stderr] error: unable to write file src/easy/task_02570.rs [INFO] [stderr] error: unable to write file src/easy/task_02574.rs [INFO] [stderr] error: unable to create file src/easy/task_02578.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02582.rs: No space left on device [INFO] [stderr] error: unable to create file src/easy/task_02586.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02591.rs [INFO] [stderr] error: unable to write file src/easy/task_02595.rs [INFO] [stderr] error: unable to write file src/easy/task_02600.rs [INFO] [stderr] error: unable to write file src/easy/task_02605.rs [INFO] [stderr] error: unable to write file src/easy/task_02609.rs [INFO] [stderr] error: unable to create file src/easy/task_02614.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02639.rs [INFO] [stderr] error: unable to write file src/easy/task_02643.rs [INFO] [stderr] error: unable to write file src/easy/task_02644.rs [INFO] [stderr] error: unable to write file src/easy/task_02651.rs [INFO] [stderr] error: unable to create file src/easy/task_02652.rs: No space left on device [INFO] [stderr] error: unable to write file src/easy/task_02656.rs [INFO] [stderr] error: unable to write file src/easy/task_02660.rs [INFO] [stderr] error: unable to create file src/easy/task_05817.rs: No space left on device [INFO] [stderr] fatal: cannot create directory at 'src/hard': 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] [INFO] checking wetkeyboard/LeetCode_Rust against try#44f3504e96c944ae54fc72b5f5008f53f7eda001 for pr-136776 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fwetkeyboard%2FLeetCode_Rust" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/wetkeyboard/LeetCode_Rust on toolchain 44f3504e96c944ae54fc72b5f5008f53f7eda001 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+44f3504e96c944ae54fc72b5f5008f53f7eda001" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/wetkeyboard/LeetCode_Rust [INFO] finished tweaking git repo https://github.com/wetkeyboard/LeetCode_Rust [INFO] tweaked toml for git repo https://github.com/wetkeyboard/LeetCode_Rust written to /workspace/builds/worker-5-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/wetkeyboard/LeetCode_Rust already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+44f3504e96c944ae54fc72b5f5008f53f7eda001" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3959728d45483eb673ba100a951a6b9f5012970368db2a9e08e0ac9b67c8a5ad" "/opt/rustwide/cargo-home/bin/cargo" "+44f3504e96c944ae54fc72b5f5008f53f7eda001" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stderr] Error response from daemon: mkdir /var/lib/docker/overlay2/180063e898f849d7c50c39fe41b647aed2ff86e3b3e2985389db3afe3436470b/diff: no space left on device [INFO] checking wetkeyboard/LeetCode_Rust against try#44f3504e96c944ae54fc72b5f5008f53f7eda001 for pr-136776 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fwetkeyboard%2FLeetCode_Rust" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file src/easy/task_01791.rs [INFO] [stderr] error: unable to write file src/easy/task_01796.rs [INFO] [stderr] error: unable to write file src/easy/task_01800.rs [INFO] [stderr] error: unable to write file src/easy/task_01805.rs [INFO] [stderr] error: unable to write file src/easy/task_01812.rs [INFO] [stderr] error: unable to write file src/easy/task_01816.rs [INFO] [stderr] error: unable to write file src/easy/task_01822.rs [INFO] [stderr] error: unable to write file src/easy/task_01827.rs [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] [INFO] checking wetkeyboard/LeetCode_Rust against try#44f3504e96c944ae54fc72b5f5008f53f7eda001 for pr-136776 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fwetkeyboard%2FLeetCode_Rust" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }` [INFO] [stderr] fatal: could not create work tree dir '/workspace/builds/worker-5-tc2/source': No space left on device failed to checkout https://github.com/wetkeyboard/LeetCode_Rust Caused by: command failed: exit status: 128