Skip to content
continuous integration

bump proofwidgets for leanprover/lean4#5749 #133764

Sign in to view logs

bump proofwidgets for leanprover/lean4#5749

bump proofwidgets for leanprover/lean4#5749 #133764

Triggered via push October 21, 2024 02:33
@kim-emkim-em
pushed 709c0bc
lean-pr-testing-5749
Status Cancelled
Total duration 51s
Artifacts –

build.yml

on: push
Lint style
41s
Lint style
Build
44s
Build
Cancel Previous Runs (CI)
3s
Cancel Previous Runs (CI)
Post-CI job
0s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Lint style
The run was canceled by @github-actions[bot].
Lint style
The operation was canceled.
Build
The run was canceled by @github-actions[bot].
Build
The operation was canceled.