chore(deps): bump the actions group with 2 updates#29

hyperpolymath merged 1 commit into

mainhyperpolymath/coq-jr:mainfrom

dependabot/github_actions/actions-3bb2b2ba6ahyperpolymath/coq-jr:dependabot/github_actions/actions-3bb2b2ba6aCopy head branch name to clipboard