Skip to content
CI

[ new ] Release Language Server v4 that supports Agda-2.7.0.1, Agda-2… #29

Sign in to view logs

[ new ] Release Language Server v4 that supports Agda-2.7.0.1, Agda-2…

[ new ] Release Language Server v4 that supports Agda-2.7.0.1, Agda-2… #29

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-test (ubuntu-latest, Agda-2.7.0.1)
13m 12s
build-and-test (ubuntu-latest, Agda-2.6.4.3)
13m 17s
build-and-test (ubuntu-latest, Agda-2.6.3)
2m 11s
build-and-test (macos-latest, Agda-2.7.0.1)
3m 14s
build-and-test (macos-latest, Agda-2.6.4.3)
3m 6s
build-and-test (macos-latest, Agda-2.6.3)
12m 1s
build-and-test (macos-13, Agda-2.7.0.1)
23m 22s
build-and-test (macos-13, Agda-2.6.4.3)
18m 20s
build-and-test (macos-13, Agda-2.6.3)
5m 15s
build-and-test (windows-latest, Agda-2.7.0.1)
26m 54s
build-and-test (windows-latest, Agda-2.6.4.3)
23m 18s
build-and-test (windows-latest, Agda-2.6.3)
5m 30s
2h 29m 40s