Skip to content

Bump cachix/install-nix-action from 20 to 21#966

Merged
JasonGross merged 1 commit intocoq-8.16from dependabot/github_actions/cachix/install-nix-action-21Jun 19, 2023

Commits

Commits on May 24, 2023