Skip to content
Build

Build #2010

Sign in to view logs

Build

Build #2010

Triggered via schedule January 19, 2025 21:14
@stefan-hoeckstefan-hoeck
⁠ 12f5a13
main
Status Success
Total duration 32m 0s
Artifacts –

ci-lib.yml

on: schedule
Build pack with Idris2 latest
38s
Build pack with Idris2 latest
Bootstrap with micropack
14m 36s
Bootstrap with micropack
Bootstrap with micropack-racket
27m 58s
Bootstrap with micropack-racket
Bootstrap with the shell script
18m 37s
Bootstrap with the shell script
Bootstrap with the shell script and racket
31m 49s
Bootstrap with the shell script and racket
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
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
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 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 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