Skip to content

[CI] Add Nix toolbox #155

[CI] Add Nix toolbox

[CI] Add Nix toolbox #155

Annotations

1 error and 11 warnings

build (mathcomp/mathcomp-dev:coq-dev)

failed Jan 24, 2025 in 10m 39s