Skip to content
continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/4061 #90172

Sign in to view logs

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

Trigger CI for https://github.com/leanprover/lean4/pull/4061 #90172

Triggered via push May 9, 2024 18:25
@leanprover-community-mathlib4-botleanprover-community-mathlib4-bot
pushed d74b8bc
lean-pr-testing-4061
Status Failure
Total duration 1m 18s
Artifacts –

build.yml

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

Annotations

1 error
Build
Process completed with exit code 1.