Skip to content

Bump actions/checkout from 4 to 6#1209

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

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

Commits

Commits on Nov 20, 2025