Skip to content
Build

Build #103

Sign in to view logs

Build

Build #103

Triggered via schedule November 24, 2025 21:23
@spcfoxspcfox
⁠ 7fa50d7
main
Status Success
Total duration 44m 35s
Artifacts –

ci-lib.yml

on: schedule
Build pack with Idris2 latest
45s
Build pack with Idris2 latest
Bootstrap with micropack
18m 42s
Bootstrap with micropack
Bootstrap with micropack-racket
40m 44s
Bootstrap with micropack-racket
Bootstrap with the shell script
18m 22s
Bootstrap with the shell script
Bootstrap with the shell script and racket
44m 32s
Bootstrap with the shell script and racket
Fit to window
Zoom out
Zoom in