Skip to content
Nix CI

switch to v1-build on the nix ci #145

Sign in to view logs

switch to v1-build on the nix ci

switch to v1-build on the nix ci #145

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Test building inside a nix shell
2m 8s
Compile agda2hs with nix (agda2hs)
1m 34s
Typecheck with Agda with nix (agda2hs-lib)
1m 8s
4m 50s