Skip to content

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

Merged
hyperpolymath merged 1 commit into
mainfrom
dependabot/github_actions/actions-5c730b7206
Oct 4, 2026
Merged

chore(deps): bump leanprover/lean-action from 1.6.0 to 1.6.1 in the actions group#110
hyperpolymath merged 1 commit into
mainfrom
dependabot/github_actions/actions-5c730b7206

chore(deps): bump leanprover/lean-action

f13e0b3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar