Skip to content
Nix CI

Rename Set to Type #159

Sign in to view logs

Rename Set to Type

Rename Set to Type #159

Run time

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