Skip to content
Nix Agda CI

Set ft=markdown.agda for *.lagda.md #45

Sign in to view logs

Set ft=markdown.agda for *.lagda.md

Set ft=markdown.agda for *.lagda.md #45

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Nix Agda (macos-latest)
1m 48s
Nix Agda (ubuntu-22.04)
54s
2m 42s