Skip to content

Bump cachix/cachix-action from 16 to 17#1256

Open
dependabot[bot] wants to merge 1 commit into
coq-8.20from
dependabot/github_actions/coq-8.20/cachix/cachix-action-17
Open

Bump cachix/cachix-action from 16 to 17#1256
dependabot[bot] wants to merge 1 commit into
coq-8.20from
dependabot/github_actions/coq-8.20/cachix/cachix-action-17

Commits

Commits on Mar 19, 2026