Skip to content

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

Merged
hyperpolymath merged 2 commits into
mainfrom
dependabot/github_actions/actions-5c801928ed
Nov 9, 2026
Merged

chore(deps): bump leanprover/lean-action from 1.6.2 to 1.7.0 in the actions group#56
hyperpolymath merged 2 commits into
mainfrom
dependabot/github_actions/actions-5c801928ed

Merge branch 'main' into dependabot/github_actions/actions-5c801928ed

fb9600b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar