Bump actions/checkout from 4 to 6#1214

dependabot[bot] wants to merge 1 commit intocoq-8.18MetaRocq/metarocq:coq-8.18from

dependabot/github_actions/coq-8.18/actions/checkout-6MetaRocq/metarocq:dependabot/github_actions/coq-8.18/actions/checkout-6Copy head branch name to clipboard