Skip to content
Nix CI

Neaten Agda2Hs.Render #201

Sign in to view logs

Neaten Agda2Hs.Render

Neaten Agda2Hs.Render #201

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile agda2hs with nix (agda2hs)
1m 28s
Test building inside a nix shell
2m 5s
Typecheck with Agda with nix (base-lib)
1m 6s
4m 39s