Skip to content
Build

Build #2019

Sign in to view logs

Build

Build #2019

Triggered via schedule January 28, 2025 21:15
@stefan-hoeckstefan-hoeck
⁠ 12f5a13
main
Status Success
Total duration 35m 43s
Artifacts –

ci-lib.yml

on: schedule
Build pack with Idris2 latest
38s
Build pack with Idris2 latest
Bootstrap with micropack
14m 1s
Bootstrap with micropack
Bootstrap with micropack-racket
29m 34s
Bootstrap with micropack-racket
Bootstrap with the shell script
16m 53s
Bootstrap with the shell script
Bootstrap with the shell script and racket
35m 32s
Bootstrap with the shell script and racket
Fit to window
Zoom out
Zoom in