Skip to content
continuous integration

fixes for leanprover/lean4#6315 #147944

Sign in to view logs

fixes for leanprover/lean4#6315

fixes for leanprover/lean4#6315 #147944

Triggered via push December 5, 2024 02:37
@kim-emkim-em
pushed ef15654
lean-pr-testing-6315
Status Failure
Total duration 2m 37s
Artifacts –

build.yml

on: push
Lint style
1m 22s
Lint style
Build
2m 30s
Build
Cancel Previous Runs (CI)
3s
Cancel Previous Runs (CI)
Post-CI job
0s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 2 warnings
Build
The process '/usr/bin/env' failed with exit code 1
Build
The process '/usr/bin/bash' failed with exit code 1
Cancel Previous Runs (CI)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Lint style
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636