Skip to content

Bump cachix/cachix-action from 13 to 14#1036

Merged
JasonGross merged 1 commit intocoq-8.16from dependabot/github_actions/coq-8.16/cachix/cachix-action-14Jan 13, 2024

Commits

Commits on Jan 12, 2024