Skip to content
CI

Differentiation of TermS and Subst #105

Sign in to view logs

Differentiation of TermS and Subst

Differentiation of TermS and Subst #105

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build Haskell library with nix (agda-core-hs)
56s
Typecheck with Agda with nix (agda-core-lib)
46s
1m 42s