Skip to content
Test

[ fix ] Attempt to fix the test case related to issue #250 on Windows #1023

Sign in to view logs

[ fix ] Attempt to fix the test case related to issue #250 on Windows

[ fix ] Attempt to fix the test case related to issue #250 on Windows #1023

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-test (windows-latest, Agda-2.6.3)
1m 57s
build-and-test (macos-latest, Agda-2.6.3)
1m 47s
build-and-test (ubuntu-latest, Agda-2.6.3)
1m 29s
build-and-test (macos-latest, Agda-2.7.0)
1m 19s
build-and-test (ubuntu-latest, Agda-2.7.0)
1m 29s
build-and-test (ubuntu-latest, Agda-2.6.4)
1m 29s
build-and-test (windows-latest, Agda-2.7.0)
2m 0s
build-and-test (macos-latest, Agda-2.6.4)
1m 14s
build-and-test (windows-latest, Agda-2.6.4)
1m 54s
14m 38s