Skip to content
Build

Build #2020

Sign in to view logs

Build

Build #2020

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

ci-lib.yml

on: schedule
Build pack with Idris2 latest
39s
Build pack with Idris2 latest
Bootstrap with micropack
15m 9s
Bootstrap with micropack
Bootstrap with micropack-racket
28m 4s
Bootstrap with micropack-racket
Bootstrap with the shell script
17m 39s
Bootstrap with the shell script
Bootstrap with the shell script and racket
32m 10s
Bootstrap with the shell script and racket
Fit to window
Zoom out
Zoom in