[INFO] cloning repository https://github.com/smml1996/rust_program_synthesis [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/smml1996/rust_program_synthesis" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsmml1996%2Frust_program_synthesis", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsmml1996%2Frust_program_synthesis'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] e0b3ded526f606577f665bd477e77af29d6f9356 [INFO] checking smml1996/rust_program_synthesis against try#121a90d34197f711021eeb158e7f4184b8be8ceb for pr-140313 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsmml1996%2Frust_program_synthesis" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file hardware_specs/no_thermalization/fake_algiers.json [INFO] [stderr] error: unable to write file hardware_specs/no_thermalization/fake_almaden.json [INFO] [stderr] error: unable to write file hardware_specs/no_thermalization/fake_armonk.json [INFO] [stderr] error: unable to write file hardware_specs/no_thermalization/fake_athens.json [INFO] [stderr] error: unable to write file hardware_specs/no_thermalization/fake_auckland.json [INFO] [stderr] error: unable to write file hardware_specs/no_thermalization/fake_belem.json [INFO] [stderr] error: unable to write file hardware_specs/no_thermalization/fake_boeblingen.json [INFO] [stderr] error: unable to write file hardware_specs/no_thermalization/fake_bogota.json [INFO] [stderr] error: unable to write file hardware_specs/no_thermalization/fake_brisbane.json [INFO] [stderr] error: unable to write file hardware_specs/no_thermalization/fake_brooklyn.json [INFO] [stderr] error: unable to write file hardware_specs/no_thermalization/fake_burlington.json [INFO] [stderr] Updating files: 12% (15/122) error: unable to write file hardware_specs/no_thermalization/fake_cairo.json [INFO] [stderr] Updating files: 13% (16/122) error: unable to write file hardware_specs/no_thermalization/fake_cambridge.json [INFO] [stderr] error: unable to write file hardware_specs/no_thermalization/fake_casablanca.json [INFO] [stderr] Updating files: 14% (18/122) Updating files: 15% (19/122) Updating files: 16% (20/122) Updating files: 17% (21/122) Updating files: 18% (22/122) Updating files: 19% (24/122) Updating files: 20% (25/122) Updating files: 21% (26/122) Updating files: 22% (27/122) Updating files: 23% (29/122) Updating files: 24% (30/122) Updating files: 25% (31/122) Updating files: 26% (32/122) Updating files: 27% (33/122) Updating files: 28% (35/122) Updating files: 29% (36/122) Updating files: 30% (37/122) Updating files: 31% (38/122) Updating files: 32% (40/122) Updating files: 33% (41/122) Updating files: 34% (42/122) Updating files: 35% (43/122) Updating files: 36% (44/122) Updating files: 37% (46/122) Updating files: 38% (47/122) Updating files: 39% (48/122) Updating files: 40% (49/122) Updating files: 41% (51/122) Updating files: 42% (52/122) Updating files: 43% (53/122) Updating files: 44% (54/122) Updating files: 45% (55/122) Updating files: 46% (57/122) Updating files: 47% (58/122) Updating files: 48% (59/122) Updating files: 49% (60/122) Updating files: 50% (61/122) Updating files: 51% (63/122) Updating files: 52% (64/122) Updating files: 53% (65/122) Updating files: 54% (66/122) Updating files: 55% (68/122) Updating files: 56% (69/122) Updating files: 57% (70/122) Updating files: 58% (71/122) Updating files: 59% (72/122) error: unable to write file hardware_specs/with_thermalization/fake_cusco.json [INFO] [stderr] Updating files: 60% (74/122) error: unable to write file hardware_specs/with_thermalization/fake_essex.json [INFO] [stderr] Updating files: 61% (75/122) error: unable to write file hardware_specs/with_thermalization/fake_fez.json [INFO] [stderr] Updating files: 62% (76/122) error: unable to write file hardware_specs/with_thermalization/fake_geneva.json [INFO] [stderr] Updating files: 63% (77/122) error: unable to write file hardware_specs/with_thermalization/fake_guadalupe.json [INFO] [stderr] error: unable to write file hardware_specs/with_thermalization/fake_hanoi.json [INFO] [stderr] Updating files: 64% (79/122) error: unable to write file hardware_specs/with_thermalization/fake_jakarta.json [INFO] [stderr] Updating files: 65% (80/122) error: unable to write file hardware_specs/with_thermalization/fake_johannesburg.json [INFO] [stderr] Updating files: 66% (81/122) error: unable to write file hardware_specs/with_thermalization/fake_kawasaki.json [INFO] [stderr] Updating files: 67% (82/122) error: unable to write file hardware_specs/with_thermalization/fake_kolkata.json [INFO] [stderr] Updating files: 68% (83/122) error: unable to write file hardware_specs/with_thermalization/fake_kyiv.json [INFO] [stderr] error: unable to write file hardware_specs/with_thermalization/fake_kyoto.json [INFO] [stderr] Updating files: 69% (85/122) error: unable to write file hardware_specs/with_thermalization/fake_lagos.json [INFO] [stderr] Updating files: 70% (86/122) error: unable to write file hardware_specs/with_thermalization/fake_lima.json [INFO] [stderr] Updating files: 71% (87/122) Updating files: 72% (88/122) Updating files: 72% (89/122) Updating files: 73% (90/122) Updating files: 74% (91/122) Updating files: 75% (92/122) Updating files: 76% (93/122) Updating files: 77% (94/122) Updating files: 78% (96/122) Updating files: 79% (97/122) Updating files: 80% (98/122) Updating files: 81% (99/122) Updating files: 82% (101/122) Updating files: 83% (102/122) Updating files: 84% (103/122) Updating files: 85% (104/122) Updating files: 86% (105/122) Updating files: 87% (107/122) Updating files: 88% (108/122) error: unable to write file hardware_specs/with_thermalization/fake_torino.json [INFO] [stderr] Updating files: 89% (109/122) error: unable to write file hardware_specs/with_thermalization/fake_toronto.json [INFO] [stderr] Updating files: 90% (110/122) error: unable to write file hardware_specs/with_thermalization/fake_valencia.json [INFO] [stderr] error: unable to write file hardware_specs/with_thermalization/fake_vigo.json [INFO] [stderr] Updating files: 91% (112/122) error: unable to write file hardware_specs/with_thermalization/fake_washington.json [INFO] [stderr] Updating files: 92% (113/122) error: unable to write file hardware_specs/with_thermalization/fake_yorktown.json [INFO] [stderr] Updating files: 93% (114/122) fatal: cannot create directory at 'python_code': 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 smml1996/rust_program_synthesis against try#121a90d34197f711021eeb158e7f4184b8be8ceb for pr-140313 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsmml1996%2Frust_program_synthesis" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] Updating files: 12% (15/122) Updating files: 13% (16/122) Updating files: 14% (18/122) Updating files: 15% (19/122) Updating files: 16% (20/122) Updating files: 17% (21/122) Updating files: 18% (22/122) Updating files: 19% (24/122) Updating files: 20% (25/122) Updating files: 21% (26/122) Updating files: 22% (27/122) Updating files: 23% (29/122) Updating files: 24% (30/122) Updating files: 25% (31/122) Updating files: 26% (32/122) Updating files: 27% (33/122) Updating files: 28% (35/122) Updating files: 29% (36/122) Updating files: 30% (37/122) Updating files: 31% (38/122) Updating files: 32% (40/122) Updating files: 33% (41/122) Updating files: 34% (42/122) Updating files: 35% (43/122) Updating files: 36% (44/122) Updating files: 37% (46/122) Updating files: 38% (47/122) Updating files: 39% (48/122) Updating files: 40% (49/122) Updating files: 41% (51/122) Updating files: 42% (52/122) Updating files: 43% (53/122) Updating files: 44% (54/122) Updating files: 45% (55/122) Updating files: 46% (57/122) Updating files: 47% (58/122) Updating files: 48% (59/122) Updating files: 49% (60/122) Updating files: 50% (61/122) Updating files: 51% (63/122) Updating files: 52% (64/122) Updating files: 53% (65/122) Updating files: 54% (66/122) error: unable to write file hardware_specs/with_thermalization/fake_bogota.json [INFO] [stderr] error: unable to write file hardware_specs/with_thermalization/fake_brisbane.json [INFO] [stderr] Updating files: 55% (68/122) error: unable to write file hardware_specs/with_thermalization/fake_brooklyn.json [INFO] [stderr] Updating files: 56% (69/122) error: unable to write file hardware_specs/with_thermalization/fake_burlington.json [INFO] [stderr] Updating files: 57% (70/122) error: unable to write file hardware_specs/with_thermalization/fake_cairo.json [INFO] [stderr] Updating files: 58% (71/122) error: unable to write file hardware_specs/with_thermalization/fake_cambridge.json [INFO] [stderr] Updating files: 59% (72/122) error: unable to write file hardware_specs/with_thermalization/fake_casablanca.json [INFO] [stderr] error: unable to write file hardware_specs/with_thermalization/fake_cusco.json [INFO] [stderr] Updating files: 60% (74/122) error: unable to write file hardware_specs/with_thermalization/fake_essex.json [INFO] [stderr] Updating files: 61% (75/122) error: unable to write file hardware_specs/with_thermalization/fake_fez.json [INFO] [stderr] Updating files: 62% (76/122) error: unable to write file hardware_specs/with_thermalization/fake_geneva.json [INFO] [stderr] Updating files: 63% (77/122) error: unable to write file hardware_specs/with_thermalization/fake_guadalupe.json [INFO] [stderr] error: unable to write file hardware_specs/with_thermalization/fake_hanoi.json [INFO] [stderr] Updating files: 64% (79/122) error: unable to write file hardware_specs/with_thermalization/fake_jakarta.json [INFO] [stderr] Updating files: 65% (80/122) error: unable to write file hardware_specs/with_thermalization/fake_johannesburg.json [INFO] [stderr] Updating files: 66% (81/122) error: unable to write file hardware_specs/with_thermalization/fake_kawasaki.json [INFO] [stderr] Updating files: 67% (82/122) error: unable to write file hardware_specs/with_thermalization/fake_kolkata.json [INFO] [stderr] Updating files: 68% (83/122) error: unable to write file hardware_specs/with_thermalization/fake_kyiv.json [INFO] [stderr] error: unable to write file hardware_specs/with_thermalization/fake_kyoto.json [INFO] [stderr] Updating files: 69% (85/122) error: unable to write file hardware_specs/with_thermalization/fake_lagos.json [INFO] [stderr] Updating files: 70% (86/122) error: unable to write file hardware_specs/with_thermalization/fake_lima.json [INFO] [stderr] Updating files: 71% (87/122) error: unable to write file hardware_specs/with_thermalization/fake_london.json [INFO] [stderr] Updating files: 72% (88/122) Updating files: 73% (90/122) Updating files: 74% (91/122) Updating files: 75% (92/122) Updating files: 76% (93/122) Updating files: 77% (94/122) Updating files: 78% (96/122) Updating files: 79% (97/122) Updating files: 80% (98/122) Updating files: 81% (99/122) Updating files: 82% (101/122) Updating files: 83% (102/122) Updating files: 84% (103/122) Updating files: 85% (104/122) Updating files: 86% (105/122) Updating files: 87% (107/122) Updating files: 88% (108/122) Updating files: 89% (109/122) Updating files: 90% (110/122) Updating files: 90% (111/122) Updating files: 91% (112/122) error: unable to write file hardware_specs/with_thermalization/fake_washington.json [INFO] [stderr] Updating files: 92% (113/122) error: unable to write file hardware_specs/with_thermalization/fake_yorktown.json [INFO] [stderr] Updating files: 93% (114/122) fatal: cannot create directory at 'python_code': 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 smml1996/rust_program_synthesis against try#121a90d34197f711021eeb158e7f4184b8be8ceb for pr-140313 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsmml1996%2Frust_program_synthesis" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] Updating files: 12% (15/122) Updating files: 13% (16/122) Updating files: 14% (18/122) Updating files: 15% (19/122) Updating files: 16% (20/122) Updating files: 17% (21/122) Updating files: 18% (22/122) Updating files: 19% (24/122) Updating files: 20% (25/122) Updating files: 21% (26/122) Updating files: 22% (27/122) Updating files: 22% (28/122) Updating files: 23% (29/122) Updating files: 24% (30/122) Updating files: 25% (31/122) Updating files: 26% (32/122) Updating files: 27% (33/122) Updating files: 27% (34/122) Updating files: 28% (35/122) Updating files: 29% (36/122) Updating files: 30% (37/122) Updating files: 31% (38/122) Updating files: 32% (40/122) Updating files: 33% (41/122) Updating files: 34% (42/122) Updating files: 35% (43/122) Updating files: 36% (44/122) Updating files: 37% (46/122) Updating files: 38% (47/122) Updating files: 39% (48/122) Updating files: 40% (49/122) Updating files: 41% (51/122) Updating files: 42% (52/122) Updating files: 43% (53/122) Updating files: 44% (54/122) Updating files: 45% (55/122) Updating files: 46% (57/122) Updating files: 47% (58/122) Updating files: 48% (59/122) Updating files: 49% (60/122) Updating files: 50% (61/122) Updating files: 51% (63/122) Updating files: 52% (64/122) Updating files: 53% (65/122) error: unable to write file hardware_specs/with_thermalization/fake_boeblingen.json [INFO] [stderr] Updating files: 54% (66/122) error: unable to write file hardware_specs/with_thermalization/fake_bogota.json [INFO] [stderr] error: unable to write file hardware_specs/with_thermalization/fake_brisbane.json [INFO] [stderr] Updating files: 55% (68/122) Updating files: 56% (69/122) Updating files: 57% (70/122) error: unable to write file hardware_specs/with_thermalization/fake_cairo.json [INFO] [stderr] Updating files: 58% (71/122) error: unable to write file hardware_specs/with_thermalization/fake_cambridge.json [INFO] [stderr] Updating files: 59% (72/122) error: unable to write file hardware_specs/with_thermalization/fake_casablanca.json [INFO] [stderr] error: unable to write file hardware_specs/with_thermalization/fake_cusco.json [INFO] [stderr] Updating files: 60% (74/122) error: unable to write file hardware_specs/with_thermalization/fake_essex.json [INFO] [stderr] Updating files: 61% (75/122) error: unable to write file hardware_specs/with_thermalization/fake_fez.json [INFO] [stderr] Updating files: 62% (76/122) error: unable to write file hardware_specs/with_thermalization/fake_geneva.json [INFO] [stderr] Updating files: 63% (77/122) error: unable to write file hardware_specs/with_thermalization/fake_guadalupe.json [INFO] [stderr] Updating files: 63% (78/122) error: unable to write file hardware_specs/with_thermalization/fake_hanoi.json [INFO] [stderr] Updating files: 64% (79/122) error: unable to write file hardware_specs/with_thermalization/fake_jakarta.json [INFO] [stderr] Updating files: 65% (80/122) error: unable to write file hardware_specs/with_thermalization/fake_johannesburg.json [INFO] [stderr] Updating files: 66% (81/122) Updating files: 67% (82/122) Updating files: 68% (83/122) Updating files: 69% (85/122) Updating files: 70% (86/122) Updating files: 71% (87/122) Updating files: 72% (88/122) error: unable to write file hardware_specs/with_thermalization/fake_makarresh.json [INFO] [stderr] error: unable to write file hardware_specs/with_thermalization/fake_manhattan.json [INFO] [stderr] Updating files: 73% (90/122) error: unable to write file hardware_specs/with_thermalization/fake_manila.json [INFO] [stderr] Updating files: 74% (91/122) error: unable to write file hardware_specs/with_thermalization/fake_melbourne.json [INFO] [stderr] Updating files: 75% (92/122) error: unable to write file hardware_specs/with_thermalization/fake_montreal.json [INFO] [stderr] Updating files: 76% (93/122) error: unable to write file hardware_specs/with_thermalization/fake_mumbai.json [INFO] [stderr] Updating files: 77% (94/122) error: unable to write file hardware_specs/with_thermalization/fake_nairobi.json [INFO] [stderr] error: unable to write file hardware_specs/with_thermalization/fake_osaka.json [INFO] [stderr] Updating files: 78% (96/122) error: unable to write file hardware_specs/with_thermalization/fake_oslo.json [INFO] [stderr] Updating files: 79% (97/122) error: unable to write file hardware_specs/with_thermalization/fake_ourense.json [INFO] [stderr] Updating files: 80% (98/122) error: unable to write file hardware_specs/with_thermalization/fake_paris.json [INFO] [stderr] Updating files: 81% (99/122) error: unable to write file hardware_specs/with_thermalization/fake_perth.json [INFO] [stderr] error: unable to write file hardware_specs/with_thermalization/fake_poughkeepsie.json [INFO] [stderr] Updating files: 82% (101/122) error: unable to write file hardware_specs/with_thermalization/fake_prague.json [INFO] [stderr] Updating files: 83% (102/122) error: unable to write file hardware_specs/with_thermalization/fake_quito.json [INFO] [stderr] Updating files: 84% (103/122) error: unable to write file hardware_specs/with_thermalization/fake_rochester.json [INFO] [stderr] Updating files: 85% (104/122) error: unable to write file hardware_specs/with_thermalization/fake_rome.json [INFO] [stderr] Updating files: 86% (105/122) error: unable to write file hardware_specs/with_thermalization/fake_santiago.json [INFO] [stderr] error: unable to write file hardware_specs/with_thermalization/fake_singapore.json [INFO] [stderr] Updating files: 87% (107/122) error: unable to write file hardware_specs/with_thermalization/fake_sydney.json [INFO] [stderr] Updating files: 88% (108/122) error: unable to write file hardware_specs/with_thermalization/fake_torino.json [INFO] [stderr] Updating files: 89% (109/122) error: unable to write file hardware_specs/with_thermalization/fake_toronto.json [INFO] [stderr] Updating files: 90% (110/122) error: unable to write file hardware_specs/with_thermalization/fake_valencia.json [INFO] [stderr] error: unable to write file hardware_specs/with_thermalization/fake_vigo.json [INFO] [stderr] Updating files: 91% (112/122) error: unable to write file hardware_specs/with_thermalization/fake_washington.json [INFO] [stderr] Updating files: 92% (113/122) error: unable to write file hardware_specs/with_thermalization/fake_yorktown.json [INFO] [stderr] Updating files: 93% (114/122) fatal: cannot create directory at 'python_code': 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 smml1996/rust_program_synthesis against try#121a90d34197f711021eeb158e7f4184b8be8ceb for pr-140313 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsmml1996%2Frust_program_synthesis" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] Updating files: 13% (16/122) Updating files: 14% (18/122) Updating files: 15% (19/122) Updating files: 16% (20/122) Updating files: 17% (21/122) Updating files: 18% (22/122) Updating files: 19% (24/122) Updating files: 20% (25/122) Updating files: 21% (26/122) Updating files: 22% (27/122) Updating files: 23% (29/122) Updating files: 24% (30/122) Updating files: 25% (31/122) Updating files: 26% (32/122) Updating files: 27% (33/122) Updating files: 28% (35/122) Updating files: 29% (36/122) Updating files: 30% (37/122) Updating files: 31% (38/122) Updating files: 32% (40/122) Updating files: 33% (41/122) Updating files: 34% (42/122) Updating files: 35% (43/122) Updating files: 36% (44/122) Updating files: 37% (46/122) Updating files: 38% (47/122) Updating files: 39% (48/122) Updating files: 40% (49/122) Updating files: 41% (51/122) Updating files: 42% (52/122) error: unable to write file hardware_specs/no_thermalization/fake_sydney.json [INFO] [stderr] Updating files: 43% (53/122) Updating files: 44% (54/122) Updating files: 45% (55/122) Updating files: 46% (57/122) Updating files: 47% (58/122) Updating files: 48% (59/122) Updating files: 49% (60/122) Updating files: 50% (61/122) Updating files: 51% (63/122) Updating files: 52% (64/122) Updating files: 53% (65/122) Updating files: 54% (66/122) error: unable to write file hardware_specs/with_thermalization/fake_brisbane.json [INFO] [stderr] Updating files: 55% (68/122) error: unable to write file hardware_specs/with_thermalization/fake_brooklyn.json [INFO] [stderr] Updating files: 56% (69/122) Updating files: 57% (70/122) error: unable to write file hardware_specs/with_thermalization/fake_cairo.json [INFO] [stderr] Updating files: 58% (71/122) error: unable to write file hardware_specs/with_thermalization/fake_cambridge.json [INFO] [stderr] Updating files: 59% (72/122) error: unable to write file hardware_specs/with_thermalization/fake_casablanca.json [INFO] [stderr] Updating files: 60% (74/122) Updating files: 61% (75/122) Updating files: 62% (76/122) Updating files: 63% (77/122) Updating files: 63% (78/122) Updating files: 64% (79/122) Updating files: 65% (80/122) Updating files: 66% (81/122) Updating files: 67% (82/122) Updating files: 68% (83/122) Updating files: 69% (85/122) Updating files: 70% (86/122) Updating files: 71% (87/122) Updating files: 72% (88/122) Updating files: 72% (89/122) Updating files: 73% (90/122) Updating files: 74% (91/122) error: unable to write file hardware_specs/with_thermalization/fake_melbourne.json [INFO] [stderr] Updating files: 75% (92/122) error: unable to write file hardware_specs/with_thermalization/fake_montreal.json [INFO] [stderr] Updating files: 76% (93/122) error: unable to write file hardware_specs/with_thermalization/fake_mumbai.json [INFO] [stderr] Updating files: 77% (94/122) Updating files: 78% (96/122) Updating files: 79% (97/122) Updating files: 80% (98/122) Updating files: 81% (99/122) error: unable to write file hardware_specs/with_thermalization/fake_poughkeepsie.json [INFO] [stderr] Updating files: 82% (101/122) Updating files: 83% (102/122) Updating files: 84% (103/122) error: unable to write file hardware_specs/with_thermalization/fake_rochester.json [INFO] [stderr] Updating files: 85% (104/122) error: unable to write file hardware_specs/with_thermalization/fake_rome.json [INFO] [stderr] Updating files: 86% (105/122) error: unable to write file hardware_specs/with_thermalization/fake_santiago.json [INFO] [stderr] error: unable to write file hardware_specs/with_thermalization/fake_singapore.json [INFO] [stderr] Updating files: 87% (107/122) error: unable to write file hardware_specs/with_thermalization/fake_sydney.json [INFO] [stderr] Updating files: 88% (108/122) error: unable to write file hardware_specs/with_thermalization/fake_torino.json [INFO] [stderr] Updating files: 89% (109/122) error: unable to write file hardware_specs/with_thermalization/fake_toronto.json [INFO] [stderr] Updating files: 90% (110/122) error: unable to write file hardware_specs/with_thermalization/fake_valencia.json [INFO] [stderr] error: unable to write file hardware_specs/with_thermalization/fake_vigo.json [INFO] [stderr] Updating files: 91% (112/122) error: unable to write file hardware_specs/with_thermalization/fake_washington.json [INFO] [stderr] Updating files: 92% (113/122) error: unable to write file hardware_specs/with_thermalization/fake_yorktown.json [INFO] [stderr] Updating files: 93% (114/122) fatal: cannot create directory at 'python_code': 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 smml1996/rust_program_synthesis against try#121a90d34197f711021eeb158e7f4184b8be8ceb for pr-140313 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsmml1996%2Frust_program_synthesis" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] Updating files: 13% (16/122) Updating files: 14% (18/122) Updating files: 15% (19/122) Updating files: 16% (20/122) Updating files: 17% (21/122) Updating files: 18% (22/122) Updating files: 19% (24/122) Updating files: 20% (25/122) Updating files: 21% (26/122) Updating files: 22% (27/122) Updating files: 23% (29/122) Updating files: 24% (30/122) Updating files: 25% (31/122) Updating files: 26% (32/122) Updating files: 27% (33/122) Updating files: 28% (35/122) Updating files: 29% (36/122) Updating files: 30% (37/122) Updating files: 31% (38/122) Updating files: 32% (40/122) Updating files: 33% (41/122) Updating files: 34% (42/122) Updating files: 35% (43/122) Updating files: 36% (44/122) Updating files: 37% (46/122) Updating files: 38% (47/122) Updating files: 39% (48/122) Updating files: 40% (49/122) Updating files: 41% (51/122) Updating files: 42% (52/122) Updating files: 43% (53/122) Updating files: 44% (54/122) Updating files: 45% (55/122) Updating files: 46% (57/122) Updating files: 47% (58/122) Updating files: 48% (59/122) Updating files: 49% (60/122) Updating files: 50% (61/122) Updating files: 51% (63/122) Updating files: 52% (64/122) Updating files: 53% (65/122) Updating files: 54% (66/122) Updating files: 55% (68/122) Updating files: 56% (69/122) Updating files: 57% (70/122) Updating files: 58% (71/122) Updating files: 59% (72/122) Updating files: 60% (74/122) Updating files: 61% (75/122) error: unable to write file hardware_specs/with_thermalization/fake_fez.json [INFO] [stderr] Updating files: 62% (76/122) Updating files: 63% (77/122) Updating files: 64% (79/122) Updating files: 65% (80/122) Updating files: 66% (81/122) Updating files: 67% (82/122) Updating files: 68% (83/122) Updating files: 69% (85/122) Updating files: 70% (86/122) Updating files: 71% (87/122) Updating files: 72% (88/122) error: unable to write file hardware_specs/with_thermalization/fake_makarresh.json [INFO] [stderr] error: unable to write file hardware_specs/with_thermalization/fake_manhattan.json [INFO] [stderr] Updating files: 73% (90/122) error: unable to write file hardware_specs/with_thermalization/fake_manila.json [INFO] [stderr] Updating files: 74% (91/122) error: unable to write file hardware_specs/with_thermalization/fake_melbourne.json [INFO] [stderr] Updating files: 75% (92/122) error: unable to write file hardware_specs/with_thermalization/fake_montreal.json [INFO] [stderr] Updating files: 76% (93/122) error: unable to write file hardware_specs/with_thermalization/fake_mumbai.json [INFO] [stderr] Updating files: 77% (94/122) error: unable to write file hardware_specs/with_thermalization/fake_nairobi.json [INFO] [stderr] error: unable to write file hardware_specs/with_thermalization/fake_osaka.json [INFO] [stderr] Updating files: 78% (96/122) error: unable to write file hardware_specs/with_thermalization/fake_oslo.json [INFO] [stderr] Updating files: 79% (97/122) error: unable to write file hardware_specs/with_thermalization/fake_ourense.json [INFO] [stderr] Updating files: 80% (98/122) error: unable to write file hardware_specs/with_thermalization/fake_paris.json [INFO] [stderr] Updating files: 81% (99/122) error: unable to write file hardware_specs/with_thermalization/fake_perth.json [INFO] [stderr] error: unable to write file hardware_specs/with_thermalization/fake_poughkeepsie.json [INFO] [stderr] Updating files: 82% (101/122) error: unable to write file hardware_specs/with_thermalization/fake_prague.json [INFO] [stderr] Updating files: 83% (102/122) error: unable to write file hardware_specs/with_thermalization/fake_quito.json [INFO] [stderr] Updating files: 84% (103/122) error: unable to write file hardware_specs/with_thermalization/fake_rochester.json [INFO] [stderr] Updating files: 85% (104/122) error: unable to write file hardware_specs/with_thermalization/fake_rome.json [INFO] [stderr] Updating files: 86% (105/122) error: unable to write file hardware_specs/with_thermalization/fake_santiago.json [INFO] [stderr] error: unable to write file hardware_specs/with_thermalization/fake_singapore.json [INFO] [stderr] Updating files: 87% (107/122) error: unable to write file hardware_specs/with_thermalization/fake_sydney.json [INFO] [stderr] Updating files: 88% (108/122) error: unable to write file hardware_specs/with_thermalization/fake_torino.json [INFO] [stderr] Updating files: 89% (109/122) error: unable to write file hardware_specs/with_thermalization/fake_toronto.json [INFO] [stderr] Updating files: 90% (110/122) error: unable to write file hardware_specs/with_thermalization/fake_valencia.json [INFO] [stderr] error: unable to write file hardware_specs/with_thermalization/fake_vigo.json [INFO] [stderr] Updating files: 91% (112/122) error: unable to write file hardware_specs/with_thermalization/fake_washington.json [INFO] [stderr] Updating files: 92% (113/122) error: unable to write file hardware_specs/with_thermalization/fake_yorktown.json [INFO] [stderr] Updating files: 93% (114/122) fatal: cannot create directory at 'python_code': 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/smml1996/rust_program_synthesis Caused by: command failed: exit status: 128