Bump actions/checkout from 4 to 6 in the all-dependencies group#84

H00N24 merged 2 commits intomainCertora/certora-run-action:mainfrom

dependabot/github_actions/all-dependencies-76468cb07fCertora/certora-run-action:dependabot/github_actions/all-dependencies-76468cb07fCopy head branch name to clipboard