Skip to content

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

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#11
dependabot[bot] wants to merge 1 commit into
mainfrom
dependabot/github_actions/leanprover/lean-action-1.4.0

Bump leanprover/lean-action from 1.3.0 to 1.4.0

e5f8229
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.