Skip to content

Bump cachix/install-nix-action from 25 to 27#1082

Merged
JasonGross merged 1 commit intocoq-8.16from dependabot/github_actions/coq-8.16/cachix/install-nix-action-27May 20, 2024

Commits

Commits on May 15, 2024