Skip to content

Bump cachix/install-nix-action from V27 to 28#1100

Merged
mattam82 merged 1 commit intocoq-8.16from dependabot/github_actions/coq-8.16/cachix/install-nix-action-V28Sep 16, 2024

Commits

Commits on Sep 12, 2024