Skip to content
Build

Several additions both to colors and to commands #21

Sign in to view logs

Several additions both to colors and to commands

Several additions both to colors and to commands #21

Triggered via pull request September 2, 2025 13:11
@buzdenbuzden
synchronize #8
buzden:additions
Status Success
Total duration 28s
Artifacts –

ci-lib.yml

on: pull_request
Build the lib with Idris2 HEAD
25s
Build the lib with Idris2 HEAD
Fit to window
Zoom out
Zoom in