Skip to content
Nix Agda CI

Merge pull request #146 from phijor/reduce-closure-size #36

Sign in to view logs

Merge pull request #146 from phijor/reduce-closure-size

Merge pull request #146 from phijor/reduce-closure-size #36

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Nix Agda (macos-12)
2m 28s
Nix Agda (ubuntu-22.04)
54s
3m 22s