Skip to content
continuous integration

trigger CI #93101

Sign in to view logs

trigger CI

trigger CI #93101

Triggered via push May 22, 2024 20:20
@JovanGerbJovanGerb
pushed 2f60675
lean-pr-testing-4152
Status Failure
Total duration 7m 18s
Artifacts –

build.yml

on: push
Lint style
49s
Lint style
Check all files imported
9s
Check all files imported
Build
25s
Build
Cancel Previous Runs (CI)
3s
Cancel Previous Runs (CI)
check workflows
8s
check workflows
summarize_declarations
25s
summarize_declarations
Post-CI job
0s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build
Process completed with exit code 1.