Skip to content
CI

clean commented code #95

Sign in to view logs

clean commented code

clean commented code #95

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Typecheck with Agda with nix (agda-core-lib)
2m 25s
Build Haskell library with nix (agda-core-hs)
2m 35s
5m 0s