Skip to content

[CI] Update Nix toolbox - #296

Merged
proux01 merged 1 commit into
rocq-prover:masterfrom
proux01:ci-update
Jul 24, 2026
Merged

[CI] Update Nix toolbox#296
proux01 merged 1 commit into
rocq-prover:masterfrom
proux01:ci-update

[CI] Update Nix toolbox

f9ddce7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
rocq-core
failed Jul 24, 2026 in 6s