[INFO] cloning repository https://github.com/venu-369/Rust_basic_revision
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/venu-369/Rust_basic_revision" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvenu-369%2FRust_basic_revision", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvenu-369%2FRust_basic_revision'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] e1b2decfef95fc415b5bec1fec41f90cd17b796a
[INFO] checking venu-369/Rust_basic_revision against try#7d2afcda7a9c043d5175cbca3ab08f0acf02b13a for pr-140824
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvenu-369%2FRust_basic_revision" "/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 .history/src/main_20230228124809.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228124918.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228125111.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228125241.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228125506.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228125517.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228125732.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228125740.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228125800.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228125806.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228125954.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228130033.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228130202.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228130400.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228130522.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228130525.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228130557.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228130807.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228130811.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228130818.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131041.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131100.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131120.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131134.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131136.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131146.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131155.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131600.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131616.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131642.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131644.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131703.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131850.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131957.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228132015.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228132139.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228132410.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228132511.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228132512.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228132819.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228132828.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228132949.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133006.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133026.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133043.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133124.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133435.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133442.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133524.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133543.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133631.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133725.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133737.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228135142.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228135610.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228144524.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228144558.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228144615.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228144625.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228144652.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228144708.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228145443.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228145717.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228145742.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228145830.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228145848.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228145914.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228145943.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150046.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150103.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150146.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150228.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150458.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150502.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150605.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150627.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150638.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150700.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150727.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150750.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150813.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150834.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150836.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150906.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151024.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151030.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151037.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151159.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151211.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151222.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151252.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151254.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151310.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151314.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151346.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151431.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151539.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151551.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151632.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151638.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151818.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151852.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228152047.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228152102.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228152203.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228152228.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228152328.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228152330.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228152334.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228152419.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228152548.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228152624.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228152629.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228152641.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228153123.rs
[INFO] [stderr] error: unable to create file .history/src/main_20230228153130.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154025.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154026.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154119.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154137.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154210.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154219.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154227.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154244.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154320.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154356.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154357.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154413.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154433.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154549.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154627.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154702.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154835.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154843.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154844.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154913.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154937.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228155058.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228155100.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228155122.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228155424.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228155547.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228155659.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228155744.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228155849.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228155851.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228155919.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228155932.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228155940.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228155942.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228155949.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228160032.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228160034.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228160127.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228160434.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228160455.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228160546.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228160611.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228160641.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228160954.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228161244.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228161353.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228161404.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228161448.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228161452.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228161634.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228161641.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228161645.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228161655.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228161826.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228161912.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228162028.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228162055.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228162110.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228162248.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228162300.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228162432.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228162447.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228162513.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228162525.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228162556.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228162642.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228162653.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228162736.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228162849.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228162935.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228163101.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228163123.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228163203.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228163253.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228163255.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228163407.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228163443.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228163520.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228163527.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228163626.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228163646.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228163723.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228163835.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228163847.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228163942.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228164048.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228164110.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228164120.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228164135.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228164244.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228164253.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228164258.rs: No space left on device
[INFO] [stderr] fatal: cannot create directory at '.history/src/restaurant': 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 venu-369/Rust_basic_revision against try#7d2afcda7a9c043d5175cbca3ab08f0acf02b13a for pr-140824
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvenu-369%2FRust_basic_revision" "/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 .history/src/main_20230228122819.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228123348.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228123408.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228123528.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228123556.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228123618.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228123924.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228124020.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228124208.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228124501.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228124809.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228124918.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228125111.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228125241.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228125506.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228125517.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228125732.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228125740.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228125800.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228125806.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228125954.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228130033.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228130202.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228130400.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228130522.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228130525.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228130557.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228130807.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228130811.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228130818.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131041.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131100.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131120.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131134.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131136.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131146.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131155.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131600.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131616.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131642.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131644.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131703.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131850.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131957.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228132015.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228132139.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228132410.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228132511.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228132512.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228132819.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228132828.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228132949.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133006.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133026.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133043.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133124.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133435.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133442.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133524.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133543.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133631.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133725.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133737.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228135142.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228135610.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228144524.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228144558.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228144615.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228144625.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228144652.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228144708.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228145443.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228145717.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228145742.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228145830.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228145848.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228145914.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228145943.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150046.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150103.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150146.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150228.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150458.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150502.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150605.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150627.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150638.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150700.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150727.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150750.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150813.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150834.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150836.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150906.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151024.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151030.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151037.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151159.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151211.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151222.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151252.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151254.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151310.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151314.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151346.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151431.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151539.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151551.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151632.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151638.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151818.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151852.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228152047.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228152102.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228152203.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228152228.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228152328.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228152330.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228152334.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228152419.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228152548.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228152624.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228152629.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228152641.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228153123.rs
[INFO] [stderr] error: unable to create file .history/src/main_20230228153130.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154025.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154026.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154119.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154137.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154210.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154219.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154227.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154244.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154320.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154356.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154357.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154413.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154433.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154549.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154627.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154702.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154835.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154843.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154844.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154913.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228154937.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228155058.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228155100.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228155122.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228155424.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228155547.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228155659.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228155744.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228155849.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228155851.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228155919.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228155932.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228155940.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228155942.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228155949.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228160032.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228160034.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228160127.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228160434.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228160455.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228160546.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228160611.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228160641.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228160954.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228161244.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228161353.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228161404.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228161448.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228161452.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228161634.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228161641.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228161645.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228161655.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228161826.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228161912.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228162028.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228162055.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228162110.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228162248.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228162300.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228162432.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228162447.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228162513.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228162525.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228162556.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228162642.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228162653.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228162736.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228162849.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228162935.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228163101.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228163123.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228163203.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228163253.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228163255.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228163407.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228163443.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228163520.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228163527.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228163626.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228163646.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228163723.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228163835.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228163847.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228163942.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228164048.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228164110.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228164120.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228164135.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228164244.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228164253.rs: No space left on device
[INFO] [stderr] error: unable to create file .history/src/main_20230228164258.rs: No space left on device
[INFO] [stderr] fatal: cannot create directory at '.history/src/restaurant': 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 venu-369/Rust_basic_revision against try#7d2afcda7a9c043d5175cbca3ab08f0acf02b13a for pr-140824
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvenu-369%2FRust_basic_revision" "/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: failed to write new configuration file /workspace/builds/worker-5-tc2/source/.git/config.lock
[INFO] [stderr] error: failed to write new configuration file /workspace/builds/worker-5-tc2/source/.git/config.lock
[INFO] [stderr] fatal: cannot create directory at '.history': 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 venu-369/Rust_basic_revision against try#7d2afcda7a9c043d5175cbca3ab08f0acf02b13a for pr-140824
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvenu-369%2FRust_basic_revision" "/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 .history/src/main_20230228130557.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228130807.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228130811.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228130818.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131041.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131100.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131120.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131134.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131136.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131146.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131155.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131600.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131616.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131642.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131644.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131703.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131850.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228131957.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228132015.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228132139.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228132410.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228132511.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228132512.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228132819.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228132828.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228132949.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133006.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133026.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133043.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133124.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133435.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133442.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133524.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133543.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133631.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133725.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228133737.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228135142.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228135610.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228144524.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228144558.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228144615.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228144625.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228144652.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228144708.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228145443.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228145717.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228145742.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228145830.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228145848.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228145914.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228145943.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150046.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150103.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150146.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150228.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150458.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150502.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150605.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150627.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150638.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150700.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150727.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150750.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150813.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150834.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150836.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228150906.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151024.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151030.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151037.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151159.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151211.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151222.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151252.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151254.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228151310.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228154357.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228154413.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228154433.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228154549.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228154627.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228154702.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228154835.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228154843.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228154844.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228154913.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228154937.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228155058.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228155100.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228155122.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228155424.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228155547.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228155659.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228155744.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228155849.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228155851.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228155919.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228155932.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228155940.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228155942.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228155949.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228160032.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228160034.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228160127.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228160434.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228160455.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228160546.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228160611.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228160641.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228160954.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228161244.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228161353.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228161404.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228161448.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228161452.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228161634.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228161641.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228161645.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228161655.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228161826.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228161912.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228162028.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228162055.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228162110.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228162248.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228162300.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228162432.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228162447.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228162513.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228162525.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228162556.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228162642.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228162653.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228162736.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228162849.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228162935.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228163101.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228163123.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228163203.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228163253.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228163255.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228163407.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228163443.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228163520.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228163527.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228163626.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228163646.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228163723.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228163835.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228163847.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228163942.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228164048.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228164110.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228164120.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228164135.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228164244.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228164253.rs
[INFO] [stderr] error: unable to write file .history/src/main_20230228164258.rs
[INFO] [stderr] fatal: cannot create directory at '.history/src/restaurant': 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 venu-369/Rust_basic_revision against try#7d2afcda7a9c043d5175cbca3ab08f0acf02b13a for pr-140824
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvenu-369%2FRust_basic_revision" "/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 target/debug/deps/liblibc-64922609da0c87ee.rmeta
[INFO] [stderr] error: unable to write file target/debug/deps/liblibc-bc64078edd0b99aa.rmeta
[INFO] [stderr] error: unable to write file target/debug/deps/libppv_lite86-e2b4895f501e7920.rlib
[INFO] [stderr] error: unable to write file target/debug/deps/libppv_lite86-e2b4895f501e7920.rmeta
[INFO] [stderr] error: unable to write file target/debug/deps/libppv_lite86-f76c1ad6000805dd.rmeta
[INFO] [stderr] error: unable to write file target/debug/deps/librand-240393c194d6d58d.rlib
[INFO] [stderr] error: unable to write file target/debug/deps/librand-240393c194d6d58d.rmeta
[INFO] [stderr] error: unable to write file target/debug/deps/librand-4f920170a63cef17.rmeta
[INFO] [stderr] error: unable to write file target/debug/deps/librand_chacha-10a46a18bd1456da.rlib
[INFO] [stderr] error: unable to write file target/debug/deps/librand_chacha-10a46a18bd1456da.rmeta
[INFO] [stderr] error: unable to write file target/debug/deps/librand_chacha-d7e37df940189ac4.rmeta
[INFO] [stderr] error: unable to write file target/debug/deps/librand_core-cad005540734fd0f.rlib
[INFO] [stderr] error: unable to write file target/debug/deps/librand_core-cad005540734fd0f.rmeta
[INFO] [stderr] error: unable to write file target/debug/deps/librand_core-e922889e03806bcd.rmeta
[INFO] [stderr] error: unable to write file target/debug/deps/ppv_lite86-e2b4895f501e7920.d
[INFO] [stderr] error: unable to write file target/debug/deps/ppv_lite86-f76c1ad6000805dd.d
[INFO] [stderr] error: unable to write file target/debug/deps/rand-240393c194d6d58d.d
[INFO] [stderr] error: unable to write file target/debug/deps/rand-4f920170a63cef17.d
[INFO] [stderr] error: unable to write file target/debug/deps/rand_chacha-10a46a18bd1456da.d
[INFO] [stderr] error: unable to write file target/debug/deps/rand_chacha-d7e37df940189ac4.d
[INFO] [stderr] error: unable to write file target/debug/deps/rand_core-cad005540734fd0f.d
[INFO] [stderr] error: unable to write file target/debug/deps/rand_core-e922889e03806bcd.d
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-2556edc4dd251625.d
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.100fkk33jqvv2wel.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.11sxymhnl5y39ydj.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.12bs58l5tdtqwlbi.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.132bqadp04xdj492.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.13r4hxw7bnrl4jxl.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.1b3fvybz1uqyy0e6.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.1dksvqr3vlz2ae6f.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.1dlt4axk0quhu7pc.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.1epyhctqw801nb7.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.1h9jijiottvtdqw0.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.1il89qcdlkgzmn2v.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.1jhmjvvkib267bcs.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.1q3funbvgt8g5x9w.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.1rrnkjwjmskwpxyb.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.1t95lavapb6iraoa.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.1ttcmwjmwcearxqa.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.1u48ldeaf3u3vf9k.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.1vs7r2m74r430l0w.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.1vydjjds1pu7xotq.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.1w8ahyvse6568vo2.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.1ypndtevmf2bzxn8.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.1yw13awrptt9ms5v.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.20ehgmi89q2r5gx8.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.20sbtuyrmwe7vpx4.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.20yz4yh13lh2h81v.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.21bexol9tmh369ak.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.22af46kj5gaghflv.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.22dakoj3guxj6mwp.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.24wd6atraj2kgvkf.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.2901pvpewwte1p1k.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.2bcagk3vfza7woig.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.2cusni6dpdsxy9tj.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.2foav4ja1ekkhr3r.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.2fskdh9j9naskd49.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.2gjjdmvkvmuzhl1b.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.2ijzac5o77g8qfr7.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.2k59px7d9dqzi9i1.rcgu.o
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.2m0ju9e74ejh7lzd.rcgu.o
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.2nb38e0gvw4krw24.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.2nel2n8kbcpi1w8z.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.2p6vlv8a7g8lctv0.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.2qfcq2o6el9gznzf.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.2sli9oz7d54ek3bd.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.2t10m8fzddvu9vcf.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.2wtcqvzhqrbs0pfc.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.30e0d7kvqasdgps6.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.30knp3w9i9em3c3d.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.30yzzs8k4h42q2eu.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.344gn1jtsy8yot7h.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.34pwuc4uzuasihl9.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.37x1e4wwfrnxvt13.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.38vg730ae35wllds.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.399q9lfrdjsvyykh.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.3cqkvkzv8lc64uz5.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.3eu7in04djfjhhzv.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.3f64069keeud4nnu.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.3faszou2g06jfnzq.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.3gaqpioxzptx1jyb.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.3hr3x7rfwdiha9yy.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.3kur0jql5lazrft.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.3lrcy8okui3vf505.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.3wp82kbhjn8j314k.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.3ylukuyimttl8m3c.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.3yrt8tff2b4gdo6k.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.4070euzs6p0bcbxz.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.41zye0ukmxjnow3s.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.42cmbmvac4d7wbpu.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.4482swqyzm5w3ugz.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.477nde5kc8dgogra.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.49j27vrozq9i8hsn.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.4a7td3bi0yc7nhl9.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.4b6la4xaanj8ul3d.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.4ectgqbjnh10dl49.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.4fjzz3tdi0pdo5gt.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.4fqxzonq9nh173wn.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.4iz1r0l2nu56uxy0.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.4jwexmuv7bk4e786.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.4nepav0ndtf6d6ia.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.4on1yc6cfpwrn1s5.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.4ow6ujvq6s672alv.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.4s3sykjrcdm9vcum.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.4t6hxgwko5i5o81e.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.4x2rrtbcznqbvcgt.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.4xud4vdok2q9kdn9.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.4ydifmroqn5oidi7.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.4zw9wmg4pxvzc2bl.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.54t20ai9gorhrger.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.58f2t5p7crcc86bv.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.58oca6xj5j3phyfm.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.592ijo23wjwu6otd.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.5aa57j5smcpzguw.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.5adz5hhovaybi2ge.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.5c9euveaqh2b6uxj.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.5cd49d5pigyjggkf.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.5gqwmwcibzu9myf7.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.5uso71wlqczmoe4.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.6ws2gje5vh5twz6.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.a3jvu14yrb14uem.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.awo9fd4vyl2bl9f.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.clgsscwl8nhkp6l.rcgu.o: No space left on device
[INFO] [stderr] error: unable to write file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.d
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.d6ll9n8m1hpsov1.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.dkucdyam6d4mpwe.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.es2flap32yoqsfe.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.hm4y08kxix32f7x.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.ltf1j30ab55c5xh.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.m5wehtpg95mtisv.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.mqdxnsf0ib7uzg.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.pjor20kj4t9rrd9.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.qu0swzw85pb9jp.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.srz0fms8h7jm99x.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.u1pbnol38jw7jxw.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.uc4kgl6lvnobqau.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.yij6la2bb50ltlp.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.zpa3ib0lfxgl7x4.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-4e86e0a14bcd1631.zwfmwx19f7pjare.rcgu.o: No space left on device
[INFO] [stderr] error: unable to create file target/debug/deps/rust_tutorial-ea158c1aa6dd3453.d: No space left on device
[INFO] [stderr] fatal: cannot create directory at 'target/debug/incremental': 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/venu-369/Rust_basic_revision

Caused by:
    command failed: exit status: 128