Skip to content
CI

Small improvements in Conversion ; marks places where records should … #195

Sign in to view logs

Small improvements in Conversion ; marks places where records should …

Small improvements in Conversion ; marks places where records should … #195

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build Haskell library with nix (agda-core-hs)
1m 20s
Typecheck with Agda with nix (agda-core-lib)
55s
2m 15s