Skip to content
setup legacy

Support for v2.7.0.1 #299

Sign in to view logs

Support for v2.7.0.1

Support for v2.7.0.1 #299

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Setup Agda (2.6.2.2) with access to /bin/echo
16s
Setup Agda (2.6.2.2) with agda-categories (0.1.7.1)
30s
Setup Agda (2.6.2.2) with agda-categories (0.1.7.1)
27s
Setup Agda (2.6.2.2) with agda-stdlib (1.7)
1m 33s
Setup Agda (2.6.2.2) with agda-stdlib (1.7)
1m 38s
Setup Agda (2.7.0.1) on ubuntu-22.04
5s
Setup Agda (2.7.0) on ubuntu-22.04
1m 37s
Setup Agda (2.6.4.3) on ubuntu-22.04
1m 53s
Setup Agda (2.6.4.1) on ubuntu-22.04
1m 56s
Setup Agda (2.6.4) on ubuntu-22.04
1m 38s
Setup Agda (2.6.3) on ubuntu-22.04
1m 38s
Setup Agda (2.6.2.2) on ubuntu-22.04
1m 56s
Setup Agda (2.6.2.1) on ubuntu-22.04
2m 16s
Setup Agda (2.6.2) on ubuntu-22.04
2m 18s
Setup Agda (2.6.1.3) on ubuntu-22.04
1m 51s
Setup Agda (2.6.0.1) on ubuntu-22.04
52s
Setup Agda (2.5.4.2) on ubuntu-22.04
24s
Setup Agda (2.5.3) on ubuntu-22.04
14s
Setup Agda (2.5.2) on ubuntu-22.04
11s
Setup Agda (2.7.0.1) on ubuntu-20.04
3s
Setup Agda (2.7.0) on ubuntu-20.04
1m 46s
Setup Agda (2.6.4.3) on ubuntu-20.04
1m 53s
Setup Agda (2.6.4.1) on ubuntu-20.04
1m 56s
Setup Agda (2.6.4) on ubuntu-20.04
1m 37s
Setup Agda (2.6.3) on ubuntu-20.04
1m 43s
Setup Agda (2.6.2.2) on ubuntu-20.04
2m 0s
Setup Agda (2.6.2.1) on ubuntu-20.04
2m 15s
Setup Agda (2.6.2) on ubuntu-20.04
2m 15s
Setup Agda (2.6.1.3) on ubuntu-20.04
1m 52s
Setup Agda (2.6.0.1) on ubuntu-20.04
51s
Setup Agda (2.5.4.2) on ubuntu-20.04
28s
Setup Agda (2.5.3) on ubuntu-20.04
12s
Setup Agda (2.5.2) on ubuntu-20.04
12s
Setup Agda (2.7.0.1) on macos-12
1s
Setup Agda (2.7.0) on macos-12
1s
Setup Agda (2.6.4.3) on macos-12
1s
Setup Agda (2.6.4.1) on macos-12
1s
Setup Agda (2.6.4) on macos-12
1s
Setup Agda (2.6.3) on macos-12
2m 7s
Setup Agda (2.6.2.2) on macos-12
1s
Setup Agda (2.6.2.1) on macos-12
2m 51s
Setup Agda (2.6.2) on macos-12
2m 56s
Setup Agda (2.6.1.3) on macos-12
2m 47s
Setup Agda (2.6.0.1) on macos-12
1m 11s
Setup Agda (2.5.4.2) on macos-12
33s
Setup Agda (2.5.3) on macos-12
17s
Setup Agda (2.5.2) on macos-12
17s
Setup Agda (2.7.0.1) on macos-14
1s
Setup Agda (2.7.0) on macos-14
1s
Setup Agda (2.6.4.3) on macos-14
1s
Setup Agda (2.6.4.1) on macos-14
39s
Setup Agda (2.6.4) on macos-14
50s
Setup Agda (2.6.3) on macos-14
1m 6s
Setup Agda (2.7.0.1) on windows-2019
9s
Setup Agda (2.7.0) on windows-2019
2m 55s
Setup Agda (2.6.4.3) on windows-2019
3m 11s
Setup Agda (2.6.4.1) on windows-2019
2m 55s
Setup Agda (2.6.4) on windows-2019
3m 13s
Setup Agda (2.6.3) on windows-2019
2m 53s
Setup Agda (2.6.2.2) on windows-2019
3m 25s
Setup Agda (2.6.2.1) on windows-2019
3m 29s
Setup Agda (2.6.2) on windows-2019
3m 27s
Setup Agda (2.7.0.1) on windows-2022
9s
Setup Agda (2.7.0) on windows-2022
1m 38s
Setup Agda (2.6.4.3) on windows-2022
1m 59s
Setup Agda (2.6.4.1) on windows-2022
2m 29s
Setup Agda (2.6.4) on windows-2022
2m 26s
Setup Agda (2.6.3) on windows-2022
2m 37s
Setup Agda (2.6.2.2) on windows-2022
2m 57s
Setup Agda (2.6.2.1) on windows-2022
3m 0s
Setup Agda (2.6.2) on windows-2022
3m 5s
1h 43m 56s