Skip to content
continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/4232 #92585

Sign in to view logs

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

Trigger CI for https://github.com/leanprover/lean4/pull/4232 #92585

Triggered via push May 20, 2024 20:33
@leanprover-community-mathlib4-botleanprover-community-mathlib4-bot
pushed 4d3bf07
lean-pr-testing-4232
Status Failure
Total duration 58m 32s
Artifacts –

build.yml

on: push
Lint style
1m 5s
Lint style
Check all files imported
11s
Check all files imported
Build
58m 23s
Build
Cancel Previous Runs (CI)
3s
Cancel Previous Runs (CI)
check workflows
9s
check workflows
summarize_declarations
22s
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