Skip to content

Bump cachix/install-nix-action from 21 to 22#973

Merged
JasonGross merged 1 commit intocoq-8.16from dependabot/github_actions/coq-8.16/cachix/install-nix-action-22Jul 5, 2023

Commits

Commits on Jul 5, 2023