Skip to content
CI

Adapt to https://github.com/agda/agda2hs/pull/343 #9

Sign in to view logs

Adapt to https://github.com/agda/agda2hs/pull/343

Adapt to https://github.com/agda/agda2hs/pull/343 #9

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build Haskell library with nix (scope-hs)
1m 48s
Typecheck with Agda with nix (scope-lib)
1m 29s
3m 17s