Skip to content
Build

Several additions both to colors and to commands #20

Sign in to view logs

Several additions both to colors and to commands

Several additions both to colors and to commands #20

Triggered via pull request September 2, 2025 13:01
@buzdenbuzden
opened #8
buzden:additions
Status Success
Total duration 31s
Artifacts –

ci-lib.yml

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