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

Open

dependabot[bot] wants to merge 1 commit into

dependabot/github_actions/leanprover/lean-action-1.4.0

Annotations

1 error

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