Skip to content
Test

[ fix ] Skip make case testings on Windows due to CI issues #983

Sign in to view logs

[ fix ] Skip make case testings on Windows due to CI issues

[ fix ] Skip make case testings on Windows due to CI issues #983

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-test (windows-latest, Agda-2.6.4)
3m 17s
build-and-test (windows-latest, Agda-2.6.3)
3m 11s
build-and-test (windows-latest, Agda-2.7.0)
3m 7s
build-and-test (ubuntu-latest, Agda-2.6.3)
2m 15s
build-and-test (ubuntu-latest, Agda-2.6.4)
2m 22s
build-and-test (ubuntu-latest, Agda-2.7.0)
2m 10s
build-and-test (macos-latest, Agda-2.6.3)
2m 3s
build-and-test (macos-latest, Agda-2.6.4)
1m 57s
build-and-test (macos-latest, Agda-2.7.0)
2m 6s
22m 28s