Skip to content
Test

[ fix ] Fix CI for building Agda 2.6.4 with Stack #1089

Sign in to view logs

[ fix ] Fix CI for building Agda 2.6.4 with Stack

[ fix ] Fix CI for building Agda 2.6.4 with Stack #1089

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-test (windows-latest, Agda-2.6.4)
21m 56s
build-and-test (ubuntu-latest, Agda-2.6.4)
18m 47s
build-and-test (macos-latest, Agda-2.6.4)
24m 0s
build-and-test (windows-latest, Agda-2.7.0)
2m 50s
build-and-test (ubuntu-latest, Agda-2.7.0)
1m 44s
build-and-test (windows-latest, Agda-2.8.0)
2m 59s
build-and-test (ubuntu-latest, Agda-2.8.0)
1m 34s
build-and-test (macos-latest, Agda-2.8.0)
2m 43s
build-and-test (macos-latest, Agda-2.7.0)
1m 53s
build-and-test (windows-latest, Agda-2.7.0)
2m 50s
build-and-test (ubuntu-latest, Agda-2.7.0)
1m 44s
build-and-test (ubuntu-latest, Agda-2.8.0)
1m 34s
build-and-test (windows-latest, Agda-2.6.4)
2m 56s
build-and-test (ubuntu-latest, Agda-2.6.4)
18m 47s
build-and-test (macos-latest, Agda-2.7.0)
1m 53s
build-and-test (macos-latest, Agda-2.6.4)
24m 0s
build-and-test (macos-latest, Agda-2.8.0)
2m 43s
build-and-test (windows-latest, Agda-2.8.0)
2m 59s
2h 17m 52s