Skip to content
Nix CI

Fix Set indices on datatypes not being caught #287

Sign in to view logs

Fix Set indices on datatypes not being caught

Fix Set indices on datatypes not being caught #287

Run time

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