Skip to content
Nix CI

Properly differentiate between multiple anonymous modules #85

Sign in to view logs

Properly differentiate between multiple anonymous modules

Properly differentiate between multiple anonymous modules #85

Run time

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