Skip to content

update nix and CI + fix bug not testing Coq master#679

Closed
CohenCyril wants to merge 1 commit intoLPCIC:masterfrom CohenCyril:fix-ci

Commits

Commits on Aug 14, 2024