[INFO] cloning repository https://github.com/nicolopizzo/lapis-rs [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/nicolopizzo/lapis-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnicolopizzo%2Flapis-rs", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnicolopizzo%2Flapis-rs'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] c6fea7206b5e919da09387e9af8af25cbafa0328 [INFO] testing nicolopizzo/lapis-rs against beta-2025-04-13 for beta-1.87-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnicolopizzo%2Flapis-rs" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file examples/focalide/additive_law.dk [INFO] [stderr] error: unable to write file examples/focalide/and_or.dk [INFO] [stderr] error: unable to write file examples/focalide/answer.dk [INFO] [stderr] error: unable to write file examples/focalide/arrays.dk [INFO] [stderr] error: unable to write file examples/focalide/assoc_map1.dk [INFO] [stderr] error: unable to write file examples/focalide/assoc_map3.dk [INFO] [stderr] error: unable to write file examples/focalide/basic_induct.dk [INFO] [stderr] error: unable to write file examples/focalide/basic_type.dk [INFO] [stderr] error: unable to write file examples/focalide/basics.dk [INFO] [stderr] error: unable to write file examples/focalide/builtins.dk [INFO] [stderr] error: unable to write file examples/focalide/case_simple.dk [INFO] [stderr] error: unable to write file examples/focalide/cc.dk [INFO] [stderr] error: unable to write file examples/focalide/constants.dk [INFO] [stderr] error: unable to write file examples/focalide/couplage.dk [INFO] [stderr] error: unable to write file examples/focalide/diag.dk [INFO] [stderr] error: unable to write file examples/focalide/div.dk [INFO] [stderr] error: unable to write file examples/focalide/dk_binary_nat.dk [INFO] [stderr] error: unable to write file examples/focalide/dk_bool.dk [INFO] [stderr] error: unable to write file examples/focalide/dk_builtins.dk [INFO] [stderr] error: unable to write file examples/focalide/dk_char.dk [INFO] [stderr] error: unable to write file examples/focalide/dk_fail.dk [INFO] [stderr] error: unable to write file examples/focalide/dk_int.dk [INFO] [stderr] error: unable to write file examples/focalide/dk_list.dk [INFO] [stderr] error: unable to write file examples/focalide/dk_logic.dk [INFO] [stderr] error: unable to write file examples/focalide/dk_machine_int.dk [INFO] [stderr] error: unable to write file examples/focalide/dk_nat.dk [INFO] [stderr] error: unable to write file examples/focalide/dk_opt.dk [INFO] [stderr] error: unable to write file examples/focalide/dk_string.dk [INFO] [stderr] error: unable to write file examples/focalide/etat_vote.dk [INFO] [stderr] error: unable to write file examples/focalide/ex_implications.dk [INFO] [stderr] error: unable to write file examples/focalide/fix.dk [INFO] [stderr] error: unable to write file examples/focalide/focal.dk [INFO] [stderr] error: unable to write file examples/focalide/gen_def.dk [INFO] [stderr] error: unable to write file examples/focalide/gen_diag.dk [INFO] [stderr] error: unable to write file examples/focalide/gen_value.dk [INFO] [stderr] error: unable to write file examples/focalide/gen_vote.dk [INFO] [stderr] error: unable to write file examples/focalide/hello.dk [INFO] [stderr] error: unable to write file examples/focalide/int_loose_sets.dk [INFO] [stderr] error: unable to write file examples/focalide/integers.dk [INFO] [stderr] error: unable to write file examples/focalide/iterators.dk [INFO] [stderr] error: unable to write file examples/focalide/lattices.dk [INFO] [stderr] error: unable to write file examples/focalide/listes.dk [INFO] [stderr] error: unable to write file examples/focalide/loose_sets.dk [INFO] [stderr] error: unable to write file examples/focalide/main.dk [INFO] [stderr] error: unable to write file examples/focalide/map.dk [INFO] [stderr] error: unable to write file examples/focalide/measure.dk [INFO] [stderr] error: unable to write file examples/focalide/measure_simple.dk [INFO] [stderr] error: unable to write file examples/focalide/multiplicative_law.dk [INFO] [stderr] error: unable to write file examples/focalide/my_sets.dk [INFO] [stderr] error: unable to write file examples/focalide/num_capteur.dk [INFO] [stderr] error: unable to write file examples/focalide/order.dk [INFO] [stderr] error: unable to write file examples/focalide/orders.dk [INFO] [stderr] error: unable to write file examples/focalide/orders_and_lattices.dk [INFO] [stderr] error: unable to write file examples/focalide/pair.dk [INFO] [stderr] error: unable to write file examples/focalide/parse_poly.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_sqrt.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_basics_bool.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_basics_lists_list.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_basics_logic.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_basics_relations.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_basics_types.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_hints_declaration.dk [INFO] [stderr] error: unable to write file examples/matita-light/univs.dk [INFO] [stderr] error: unable to write file examples/nat.dk [INFO] [stderr] error: unable to write file examples/vec.dk [INFO] [stderr] error: unable to write file log4rs.yaml [INFO] [stderr] fatal: cannot create directory at 'src': No space left on device [INFO] [stderr] warning: Clone succeeded, but checkout failed. [INFO] [stderr] You can inspect what was checked out with 'git status' [INFO] [stderr] and retry with 'git restore --source=HEAD :/' [INFO] [stderr] [INFO] testing nicolopizzo/lapis-rs against beta-2025-04-13 for beta-1.87-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnicolopizzo%2Flapis-rs" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_bigops.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_binomial.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_bounded_quantifiers.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_chebyshev_bertrand.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_chebyshev_bertrand256.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_chebyshev_chebyshev_psi.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_chebyshev_chebyshev_theta.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_chebyshev_factorization.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_chebyshev_psi_bounds.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_chinese_reminder.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_congruence.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_div_and_mod.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_exp.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_factorial.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_fermat_little_theorem.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_gcd.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_iteration.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_log.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_lstar.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_minimization.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_nat.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_ord.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_permutation.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_pidgeon_hole.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_primes.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_sqrt.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_basics_bool.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_basics_lists_list.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_basics_logic.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_basics_relations.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_basics_types.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_hints_declaration.dk [INFO] [stderr] error: unable to write file examples/matita-light/univs.dk [INFO] [stderr] error: unable to write file examples/nat.dk [INFO] [stderr] error: unable to write file examples/vec.dk [INFO] [stderr] error: unable to write file log4rs.yaml [INFO] [stderr] fatal: cannot create directory at 'src': No space left on device [INFO] [stderr] warning: Clone succeeded, but checkout failed. [INFO] [stderr] You can inspect what was checked out with 'git status' [INFO] [stderr] and retry with 'git restore --source=HEAD :/' [INFO] [stderr] [INFO] testing nicolopizzo/lapis-rs against beta-2025-04-13 for beta-1.87-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnicolopizzo%2Flapis-rs" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_bigops.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_binomial.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_bounded_quantifiers.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_chebyshev_bertrand.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_chebyshev_bertrand256.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_chebyshev_chebyshev_psi.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_chebyshev_chebyshev_theta.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_chebyshev_factorization.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_chebyshev_psi_bounds.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_chinese_reminder.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_congruence.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_div_and_mod.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_exp.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_factorial.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_fermat_little_theorem.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_gcd.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_iteration.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_log.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_lstar.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_minimization.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_nat.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_ord.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_permutation.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_pidgeon_hole.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_primes.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_sigma_pi.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_sqrt.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_basics_bool.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_basics_lists_list.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_basics_logic.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_basics_relations.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_basics_types.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_hints_declaration.dk [INFO] [stderr] error: unable to write file examples/matita-light/univs.dk [INFO] [stderr] error: unable to write file examples/nat.dk [INFO] [stderr] error: unable to write file examples/vec.dk [INFO] [stderr] error: unable to write file log4rs.yaml [INFO] [stderr] fatal: cannot create directory at 'src': No space left on device [INFO] [stderr] warning: Clone succeeded, but checkout failed. [INFO] [stderr] You can inspect what was checked out with 'git status' [INFO] [stderr] and retry with 'git restore --source=HEAD :/' [INFO] [stderr] [INFO] testing nicolopizzo/lapis-rs against beta-2025-04-13 for beta-1.87-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnicolopizzo%2Flapis-rs" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'... [INFO] [stderr] done. [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_bigops.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_binomial.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_bounded_quantifiers.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_chebyshev_bertrand.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_chebyshev_bertrand256.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_chebyshev_chebyshev_psi.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_chebyshev_chebyshev_theta.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_chebyshev_factorization.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_chebyshev_psi_bounds.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_chinese_reminder.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_congruence.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_div_and_mod.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_exp.dk [INFO] [stderr] error: unable to write file examples/matita-light/matita_arithmetics_factorial.dk [INFO] [stderr] fatal: unable to checkout working tree [INFO] [stderr] warning: Clone succeeded, but checkout failed. [INFO] [stderr] You can inspect what was checked out with 'git status' [INFO] [stderr] and retry with 'git restore --source=HEAD :/' [INFO] [stderr] [INFO] testing nicolopizzo/lapis-rs against beta-2025-04-13 for beta-1.87-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fnicolopizzo%2Flapis-rs" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/nicolopizzo/lapis-rs on toolchain beta-2025-04-13 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-04-13" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/nicolopizzo/lapis-rs [INFO] finished tweaking git repo https://github.com/nicolopizzo/lapis-rs [INFO] tweaked toml for git repo https://github.com/nicolopizzo/lapis-rs written to /workspace/builds/worker-4-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/nicolopizzo/lapis-rs already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-04-13" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Blocking waiting for file lock on package cache No space left on device (os error 28)