Skip to content
CI

Mark some definitions as inlined for agda2hs #15

Sign in to view logs

Mark some definitions as inlined for agda2hs

Mark some definitions as inlined for agda2hs #15

Run time

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