Skip to content

Fix the CI by updating the coq pin in nix flake #1332

Fix the CI by updating the coq pin in nix flake

Fix the CI by updating the coq pin in nix flake #1332

Annotations

1 warning

build-extension (windows-latest)

succeeded Oct 28, 2024 in 4m 0s