Skip to content
Nix CI

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

Sign in to view logs

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

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

Run time

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