Skip to content
.github/workflows/push.yml

chore(deps): bump leanprover/lean-action from 1.3.0 to 1.4.0 (#528) #851

Sign in to view logs

chore(deps): bump leanprover/lean-action from 1.3.0 to 1.4.0 (#528)

chore(deps): bump leanprover/lean-action from 1.3.0 to 1.4.0 (#528) #851

Triggered via push January 19, 2026 17:31
@pitmonticonepitmonticone
pushed a72ef0d
master
Status Failure
Total duration 18m 8s
Artifacts –

push.yml

on: push
Lint style
3s
Lint style
Build project
18m 3s
Build project
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build project
Process completed with exit code 1.
⚡