Skip to content

Bump leanprover/lean-action from 1.4.0 to 1.5.0 - #93

Merged
RemyDegenne merged 1 commit into
mainfrom
dependabot/github_actions/leanprover/lean-action-1.5.0
Apr 23, 2026
Merged

Bump leanprover/lean-action from 1.4.0 to 1.5.0#93
RemyDegenne merged 1 commit into
mainfrom
dependabot/github_actions/leanprover/lean-action-1.5.0

Bump leanprover/lean-action from 1.4.0 to 1.5.0

4f555d0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.