Skip to content

Update Nix CI

Update Nix CI #30

Annotations

1 error and 1 warning

coq-combi

failed Jan 3, 2025 in 3m 54s