Skip to content
Nix CI

[ fix #394 ] More uniform and consistent classification of modules #151

Sign in to view logs

[ fix #394 ] More uniform and consistent classification of modules

[ fix #394 ] More uniform and consistent classification of modules #151

Run time

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