Skip to content
CI

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-test (windows-latest, Agda-2.7.0.1)
6m 7s
build-and-test (windows-latest, Agda-2.6.4.3)
5m 39s
build-and-test (windows-latest, Agda-2.6.3)
5m 24s
build-and-test (ubuntu-latest, Agda-2.7.0.1)
1m 30s
build-and-test (ubuntu-latest, Agda-2.6.4.3)
1m 23s
build-and-test (ubuntu-latest, Agda-2.6.3)
1m 25s
build-and-test (macos-latest, Agda-2.7.0.1)
2m 43s
build-and-test (macos-latest, Agda-2.6.4.3)
2m 28s
build-and-test (macos-latest, Agda-2.6.3)
2m 53s
build-and-test (macos-13, Agda-2.7.0.1)
7m 10s
build-and-test (macos-13, Agda-2.6.4.3)
5m 39s
build-and-test (macos-13, Agda-2.6.3)
4m 15s
46m 36s