Skip to content
CI

move back to upstream agda2hs since the flake pr got merged #6

Sign in to view logs

move back to upstream agda2hs since the flake pr got merged

move back to upstream agda2hs since the flake pr got merged #6

Run time

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