Bump actions/checkout from 4 to 5 in the actions-dependencies group#20

samuelburnham merged 1 commit intomainargumentcomputer/Blake3.lean:mainfrom

dependabot/github_actions/actions-dependencies-a331d3ec2dargumentcomputer/Blake3.lean:dependabot/github_actions/actions-dependencies-a331d3ec2dCopy head branch name to clipboard