Skip to content
Nix CI

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

Sign in to view logs

Make the nix development compatible with flake-less nix

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

Run time

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