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

hyperpolymath merged 1 commit into

mainhyperpolymath/coq-jr:mainfrom

dependabot/github_actions/actions-f86b2004e9hyperpolymath/coq-jr:dependabot/github_actions/actions-f86b2004e9Copy head branch name to clipboard