Skip to content

chore(deps): bump leanprover/lean-action from 1.3.0 to 1.4.0#528

Merged
pitmonticone merged 1 commit intomasterfrom
dependabot/github_actions/leanprover/lean-action-1.4.0
Jan 19, 2026
Merged

chore(deps): bump leanprover/lean-action from 1.3.0 to 1.4.0#528
pitmonticone merged 1 commit intomasterfrom
dependabot/github_actions/leanprover/lean-action-1.4.0

Commits

Commits on Jan 19, 2026