Skip to content
CI

[ ci ] Add Agda-2.6.3 into the mix #25

Sign in to view logs

[ ci ] Add Agda-2.6.3 into the mix

[ ci ] Add Agda-2.6.3 into the mix #25

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-test (ubuntu-latest, Agda-2.7.0.1)
1m 39s
build-and-test (ubuntu-latest, Agda-2.6.4.3)
1m 40s
build-and-test (ubuntu-latest, Agda-2.6.3)
11m 34s
build-and-test (macos-latest, Agda-2.7.0.1)
2m 45s
build-and-test (macos-latest, Agda-2.6.4.3)
2m 37s
build-and-test (macos-latest, Agda-2.6.3)
10m 48s
build-and-test (macos-13, Agda-2.7.0.1)
5m 28s
build-and-test (macos-13, Agda-2.6.4.3)
4m 56s
build-and-test (macos-13, Agda-2.6.3)
18m 6s
build-and-test (windows-latest, Agda-2.7.0.1)
6m 40s
build-and-test (windows-latest, Agda-2.6.4.3)
4m 43s
build-and-test (windows-latest, Agda-2.6.3)
21m 56s
1h 32m 52s