Skip to content

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

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

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

Commits

  1. Commits on Jan 19, 2026