Bump actions/checkout from 4 to 6#1211

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

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