Skip to content

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

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

Commits

Commits on Jan 12, 2024