.github/workflows/push_pr.yml

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

Sign in to view logs

Triggered via pull request February 1, 2026 03:27

dependabot[bot]

opened #9

dependabot/github_actions/leanprover/lean-action-1.4.0

Status Failure

Total duration 1m 40s

Artifacts –

push_pr.yml

on: pull_request

Annotations

1 error

Build project

Process completed with exit code 1.