chore(deps): bump leanprover/lean-action from 1.6.0 to 1.6.1 in the actions group - #110

chore(deps): bump leanprover/lean-action from 1.6.0 to 1.6.1 in the actions group#110

hyperpolymath merged 1 commit into

mainhyperpolymath/phronesis:mainfrom

dependabot/github_actions/actions-5c730b7206hyperpolymath/phronesis:dependabot/github_actions/actions-5c730b7206Copy head branch name to clipboard