Skip to content
Nix CI

Fix Set indices on datatypes not being caught #286

Sign in to view logs

Fix Set indices on datatypes not being caught

Fix Set indices on datatypes not being caught #286

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Typecheck with Agda with nix (containers-lib)
1m 36s
Test building inside a nix shell
2m 24s
Typecheck with Agda with nix (base-lib)
1m 34s
Compile agda2hs with nix (agda2hs)
1m 18s
6m 52s