Skip to content
Test

[ fix ] Tweak the source location before Agda-2.6.4 #667

Sign in to view logs

[ fix ] Tweak the source location before Agda-2.6.4

[ fix ] Tweak the source location before Agda-2.6.4 #667

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-test (windows-latest, Agda-2.6.3)
1m 51s
build-and-test (windows-latest, Agda-2.6.3)
1m 51s
build-and-test (windows-latest, Agda-2.6.4)
2m 24s
build-and-test (windows-latest, Agda-2.6.4)
2m 24s
build-and-test (windows-latest, Agda-2.7.0)
1m 49s
build-and-test (windows-latest, Agda-2.7.0)
1m 49s
build-and-test (ubuntu-latest, Agda-2.6.3)
35s
build-and-test (ubuntu-latest, Agda-2.6.3)
35s
build-and-test (ubuntu-latest, Agda-2.6.4)
38s
build-and-test (ubuntu-latest, Agda-2.6.4)
38s
build-and-test (ubuntu-latest, Agda-2.7.0)
36s
build-and-test (ubuntu-latest, Agda-2.7.0)
36s
build-and-test (macos-latest, Agda-2.6.3)
40s
build-and-test (macos-latest, Agda-2.6.3)
40s
build-and-test (macos-latest, Agda-2.6.4)
40s
build-and-test (macos-latest, Agda-2.6.4)
39s
build-and-test (macos-latest, Agda-2.7.0)
49s
build-and-test (macos-latest, Agda-2.7.0)
49s
20m 3s