Skip to content

Bump cachix/install-nix-action from 24 to 25#1039

Closed
dependabot[bot] wants to merge 1 commit intocoq-8.16from dependabot/github_actions/cachix/install-nix-action-25

Commits

Commits on Jan 15, 2024