Skip to content
continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/4152 #92924

Sign in to view logs

Trigger CI for https://github.com/leanprover/lean4/pull/4152

Trigger CI for https://github.com/leanprover/lean4/pull/4152 #92924

Triggered via push May 22, 2024 02:23
@leanprover-community-mathlib4-botleanprover-community-mathlib4-bot
pushed 0211376
lean-pr-testing-4152
Status Failure
Total duration 58m 15s
Artifacts –

build.yml

on: push
Lint style
1m 13s
Lint style
Check all files imported
8s
Check all files imported
Build
58m 6s
Build
Cancel Previous Runs (CI)
4s
Cancel Previous Runs (CI)
check workflows
8s
check workflows
summarize_declarations
21s
summarize_declarations
Post-CI job
0s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build
The process '/home/lean/.elan/bin/lake' failed with exit code 1