chore(deps): bump actions/checkout from 4.1.1 to 6.0.2 in the actions group#30

hyperpolymath merged 1 commit into

mainhyperpolymath/coq-jr:mainfrom

dependabot/github_actions/actions-e6ee9d7de3hyperpolymath/coq-jr:dependabot/github_actions/actions-e6ee9d7de3Copy head branch name to clipboard