Skip to content

Bump actions/checkout from 4 to 6#1212

Open
dependabot[bot] wants to merge 1 commit intocoq-8.17from
dependabot/github_actions/coq-8.17/actions/checkout-6
Open

Bump actions/checkout from 4 to 6#1212
dependabot[bot] wants to merge 1 commit intocoq-8.17from
dependabot/github_actions/coq-8.17/actions/checkout-6

Commits

Commits on Nov 21, 2025