Skip to content
setup legacy

Fix setup-legacy #295

Sign in to view logs

Fix setup-legacy

Fix setup-legacy #295

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Setup Agda (2.6.2.2) with agda-categories (0.1.7.1)
31s
Setup Agda (2.6.2.2) with agda-stdlib (1.7)
2m 0s
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)
31s
Setup Agda (2.6.2.2) with agda-stdlib (1.7)
1m 57s
Setup Agda (2.7.0) on ubuntu-22.04
1m 41s
Setup Agda (2.6.4.3) on ubuntu-22.04
1m 58s
Setup Agda (2.6.4.1) on ubuntu-22.04
1m 57s
Setup Agda (2.6.4) on ubuntu-22.04
1m 33s
Setup Agda (2.6.3) on ubuntu-22.04
1m 42s
Setup Agda (2.6.2.2) on ubuntu-22.04
2m 6s
Setup Agda (2.6.2.1) on ubuntu-22.04
2m 17s
Setup Agda (2.6.2) on ubuntu-22.04
2m 22s
Setup Agda (2.6.1.3) on ubuntu-22.04
1m 57s
Setup Agda (2.6.0.1) on ubuntu-22.04
52s
Setup Agda (2.5.4.2) on ubuntu-22.04
25s
Setup Agda (2.5.3) on ubuntu-22.04
13s
Setup Agda (2.5.2) on ubuntu-22.04
11s
Setup Agda (2.7.0) on ubuntu-20.04
1m 52s
Setup Agda (2.6.4.3) on ubuntu-20.04
1m 58s
Setup Agda (2.6.4.1) on ubuntu-20.04
1m 59s
Setup Agda (2.6.4) on ubuntu-20.04
1m 39s
Setup Agda (2.6.3) on ubuntu-20.04
1m 38s
Setup Agda (2.6.2.2) on ubuntu-20.04
2m 1s
Setup Agda (2.6.2.1) on ubuntu-20.04
2m 17s
Setup Agda (2.6.2) on ubuntu-20.04
2m 20s
Setup Agda (2.6.1.3) on ubuntu-20.04
1m 51s
Setup Agda (2.6.0.1) on ubuntu-20.04
53s
Setup Agda (2.5.4.2) on ubuntu-20.04
25s
Setup Agda (2.5.3) on ubuntu-20.04
12s
Setup Agda (2.5.2) on ubuntu-20.04
13s
Setup Agda (2.7.0) on macos-12
4m 3s
Setup Agda (2.6.4.3) on macos-12
40s
Setup Agda (2.6.4.1) on macos-12
36s
Setup Agda (2.6.4) on macos-12
36s
Setup Agda (2.6.3) on macos-12
33s
Setup Agda (2.6.2.2) on macos-12
28s
Setup Agda (2.6.2.1) on macos-12
37s
Setup Agda (2.6.2) on macos-12
34s
Setup Agda (2.6.1.3) on macos-12
31s
Setup Agda (2.6.0.1) on macos-12
40s
Setup Agda (2.5.4.2) on macos-12
36s
Setup Agda (2.5.3) on macos-12
33s
Setup Agda (2.5.2) on macos-12
43s
Setup Agda (2.7.0) on macos-14
1m 13s
Setup Agda (2.6.4.3) on macos-14
1m 26s
Setup Agda (2.6.4.1) on macos-14
1m 21s
Setup Agda (2.6.4) on macos-14
1m 16s
Setup Agda (2.6.3) on macos-14
1m 22s
Setup Agda (2.7.0) on windows-2019
2m 49s
Setup Agda (2.6.4.3) on windows-2019
3m 8s
Setup Agda (2.6.4.1) on windows-2019
3m 10s
Setup Agda (2.6.4) on windows-2019
2m 55s
Setup Agda (2.6.3) on windows-2019
2m 51s
Setup Agda (2.6.2.2) on windows-2019
3m 40s
Setup Agda (2.6.2.1) on windows-2019
3m 56s
Setup Agda (2.6.2) on windows-2019
3m 36s
Setup Agda (2.7.0) on windows-2022
2m 53s
Setup Agda (2.6.4.3) on windows-2022
3m 4s
Setup Agda (2.6.4.1) on windows-2022
2m 47s
Setup Agda (2.6.4) on windows-2022
2m 50s
Setup Agda (2.6.3) on windows-2022
2m 49s
Setup Agda (2.6.2.2) on windows-2022
3m 30s
Setup Agda (2.6.2.1) on windows-2022
3m 43s
Setup Agda (2.6.2) on windows-2022
3m 34s
1h 52m 50s