Skip to content
Nix CI

[ fix #324 ] Keep track of instance-only imports #125

Sign in to view logs

[ fix #324 ] Keep track of instance-only imports

[ fix #324 ] Keep track of instance-only imports #125

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile agda2hs with nix (agda2hs)
1m 56s
Typecheck with Agda with nix (agda2hs-lib)
1m 17s
3m 13s