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

Bump leanprover/lean-action from 1.3.0 to 1.4.0

b78c3be
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar