Skip to content
Build

Build #2014

Sign in to view logs

Build

Build #2014

Triggered via schedule January 23, 2025 21:15
@stefan-hoeckstefan-hoeck
⁠ 12f5a13
main
Status Failure
Total duration 27m 6s
Artifacts –

ci-lib.yml

on: schedule
Build pack with Idris2 latest
39s
Build pack with Idris2 latest
Bootstrap with micropack
2m 10s
Bootstrap with micropack
Bootstrap with micropack-racket
1m 59s
Bootstrap with micropack-racket
Bootstrap with the shell script
14m 34s
Bootstrap with the shell script
Bootstrap with the shell script and racket
26m 56s
Bootstrap with the shell script and racket
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 5 warnings
Bootstrap with micropack-racket
Process completed with exit code 2.
Bootstrap with micropack
Process completed with exit code 2.
Bootstrap with the shell script
Process completed with exit code 1.
Bootstrap with the shell script and racket
Process completed with exit code 1.
Build pack with Idris2 latest
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Bootstrap with micropack-racket
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Bootstrap with micropack
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Bootstrap with the shell script
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Bootstrap with the shell script and racket
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636