Skip to content
Nix CI

Make the nix development compatible with flake-less nix #127

Sign in to view logs

Make the nix development compatible with flake-less nix

Make the nix development compatible with flake-less nix #127

Run time

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