Skip to content
Nix CI

Run the makefile to generate a proper golden test #47

Sign in to view logs

Run the makefile to generate a proper golden test

Run the makefile to generate a proper golden test #47

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Compile agda2hs with nix (agda2hs)
1m 31s
Typecheck with Agda with nix (agda2hs-lib)
1m 19s
2m 50s