Skip to content
continuous integration

Update lean-toolchain for testing https://github.com/leanprover/lean4… #65938

Sign in to view logs

Update lean-toolchain for testing https://github.com/leanprover/lean4…

Update lean-toolchain for testing https://github.com/leanprover/lean4… #65938

Triggered via push January 13, 2024 15:59
@leanprover-community-mathlib4-botleanprover-community-mathlib4-bot
pushed d049662
lean-pr-testing-3176
Status Cancelled
Total duration 22m 50s
Artifacts –

build.yml

on: push
Lint style
42s
Lint style
Check all files imported
11s
Check all files imported
Build
22m 42s
Build
Cancel Previous Runs (CI)
4s
Cancel Previous Runs (CI)
check workflows
7s
check workflows
Post-CI job
0s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Build
The run was canceled by @github-actions[bot].
Build: Mathlib/Data/LazyList/Basic.lean#L46
fail to show termination for
Build
The operation was canceled.