Skip to content
Build

Several additions both to colors and to commands (#8) #22

Sign in to view logs

Several additions both to colors and to commands (#8)

Several additions both to colors and to commands (#8) #22

Triggered via push September 2, 2025 15:00
@stefan-hoeckstefan-hoeck
pushed 90f80ac
main
Status Success
Total duration 34s
Artifacts –

ci-lib.yml

on: push
Build the lib with Idris2 HEAD
30s
Build the lib with Idris2 HEAD
Fit to window
Zoom out
Zoom in