Skip to content
continuous integration

lake update #96204

Sign in to view logs

lake update

lake update #96204

Triggered via push June 3, 2024 08:52
@markusschmausmarkusschmaus
pushed 030ed86
lean-pr-testing-4242
Status Failure
Total duration 12m 48s
Artifacts –

build.yml

on: push
Lint style
48s
Lint style
Check all files imported
10s
Check all files imported
Build
12m 40s
Build
Cancel Previous Runs (CI)
5s
Cancel Previous Runs (CI)
check workflows
13s
check workflows
summarize_declarations
22s
summarize_declarations
Post-CI job
0s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Build
The process '/usr/bin/env' failed with exit code 1
Build
The process '/usr/bin/bash' failed with exit code 1