Bump actions/checkout from 5 to 6 in the actions-dependencies group#25

samuelburnham merged 1 commit intomainargumentcomputer/Blake3.lean:mainfrom

dependabot/github_actions/actions-dependencies-76468cb07fargumentcomputer/Blake3.lean:dependabot/github_actions/actions-dependencies-76468cb07fCopy head branch name to clipboard