Skip to content
Nix CI

Implement 'existing' keyword for skipping compilation of a symbol #292

Sign in to view logs

Implement 'existing' keyword for skipping compilation of a symbol

Implement 'existing' keyword for skipping compilation of a symbol #292

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Test building inside a nix shell
1m 27s
Typecheck with Agda with nix (base-lib)
1m 9s
Compile agda2hs with nix (agda2hs)
55s
Typecheck with Agda with nix (containers-lib)
1m 23s
4m 54s