chore(deps): bump leanprover/lean-action from 1.6.2 to 1.7.0 in the actions group - #56

chore(deps): bump leanprover/lean-action from 1.6.2 to 1.7.0 in the actions group#56

hyperpolymath merged 2 commits into

mainhyperpolymath/marches:mainfrom

dependabot/github_actions/actions-5c801928edhyperpolymath/marches:dependabot/github_actions/actions-5c801928edCopy head branch name to clipboard