Skip to content

Bump actions/checkout from 6 to 7#1282

Open
dependabot[bot] wants to merge 1 commit into
coq-8.16from
dependabot/github_actions/coq-8.16/actions/checkout-7
Open

Bump actions/checkout from 6 to 7#1282
dependabot[bot] wants to merge 1 commit into
coq-8.16from
dependabot/github_actions/coq-8.16/actions/checkout-7

Commits

Commits on Jun 18, 2026