Skip to content
Test

[ change ] Restore the CI build matrix #1006

Sign in to view logs

[ change ] Restore the CI build matrix

[ change ] Restore the CI build matrix #1006

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-test (windows-latest, Agda-2.6.4)
23m 53s
build-and-test (windows-latest, Agda-2.6.3)
24m 7s
build-and-test (ubuntu-latest, Agda-2.6.3)
19m 12s
build-and-test (ubuntu-latest, Agda-2.6.4)
19m 45s
build-and-test (windows-latest, Agda-2.7.0)
23m 30s
build-and-test (macos-latest, Agda-2.6.4)
17m 33s
build-and-test (macos-latest, Agda-2.6.3)
17m 32s
build-and-test (ubuntu-latest, Agda-2.7.0)
19m 43s
build-and-test (macos-latest, Agda-2.7.0)
18m 54s
3h 4m 9s