build(deps): bump actions/checkout from 5 to 6#885

dependabot[bot] wants to merge 1 commit into

maindigraphs/Digraphs:mainfrom

dependabot/github_actions/actions/checkout-6digraphs/Digraphs:dependabot/github_actions/actions/checkout-6Copy head branch name to clipboard