Skip to content
CI

Add Agda to languages.yaml #3074

Sign in to view logs

Add Agda to languages.yaml

Add Agda to languages.yaml #3074

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lint
1m 12s
lint
1m 12s
coverage
3m 33s
coverage
3m 33s
build (ubuntu-latest, stable)
1m 4s
build (ubuntu-latest, stable)
1m 4s
build (ubuntu-latest, nightly)
3m 24s
build (ubuntu-latest, nightly)
3m 24s
build (windows-latest, stable)
2m 26s
build (windows-latest, stable)
2m 26s
build (windows-latest, nightly)
7m 6s
build (windows-latest, nightly)
7m 6s
build (macOS-latest, stable)
6h 0m 25s
build (macOS-latest, stable)
1m 30s
build (macOS-latest, nightly)
5m 32s
build (macOS-latest, nightly)
5m 32s
6h 50m 29s