Skip to content
CI

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

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… #30

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-test (ubuntu-latest, Agda-2.7.0.1)
1m 38s
build-and-test (ubuntu-latest, Agda-2.6.4.3)
1m 25s
build-and-test (ubuntu-latest, Agda-2.6.3)
1m 32s
build-and-test (macos-latest, Agda-2.7.0.1)
2m 34s
build-and-test (macos-latest, Agda-2.6.4.3)
2m 40s
build-and-test (macos-latest, Agda-2.6.3)
2m 56s
build-and-test (macos-13, Agda-2.7.0.1)
3m 45s
build-and-test (macos-13, Agda-2.6.4.3)
3m 27s
build-and-test (macos-13, Agda-2.6.3)
5m 48s
build-and-test (windows-latest, Agda-2.7.0.1)
5m 17s
build-and-test (windows-latest, Agda-2.6.4.3)
5m 15s
build-and-test (windows-latest, Agda-2.6.3)
5m 16s
41m 33s