Skip to content

Bump cachix/install-nix-action from 22 to 23#979

Merged
dependabot[bot] merged 1 commit intocoq-8.16from dependabot/github_actions/coq-8.16/cachix/install-nix-action-23Sep 4, 2023

Commits

Commits on Sep 4, 2023