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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build the lib with Idris2 HEAD
27s
27s