Skip to content

Bump leanprover/lean-action from 1.3.0 to 1.4.0 - #9

Open
dependabot[bot] wants to merge 1 commit into
masterfrom
dependabot/github_actions/leanprover/lean-action-1.4.0
Open

Bump leanprover/lean-action from 1.3.0 to 1.4.0#9
dependabot[bot] wants to merge 1 commit into
masterfrom
dependabot/github_actions/leanprover/lean-action-1.4.0

Commits

  1. Commits on Feb 1, 2026