Skip to content
CI

[ ci ] Fix the $ARTEFACT variable and extra-deps for 2.6.4.3 test #19

Sign in to view logs

[ ci ] Fix the $ARTEFACT variable and extra-deps for 2.6.4.3 test

[ ci ] Fix the $ARTEFACT variable and extra-deps for 2.6.4.3 test #19

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-test (ubuntu-latest, Agda-2.7.0.1)
1m 17s
build-and-test (ubuntu-latest, Agda-2.6.4.3)
12m 3s
build-and-test (macos-latest, Agda-2.7.0.1)
2m 57s
build-and-test (macos-latest, Agda-2.6.4.3)
12m 0s
build-and-test (macos-13, Agda-2.7.0.1)
3m 39s
build-and-test (macos-13, Agda-2.6.4.3)
12m 15s
build-and-test (windows-latest, Agda-2.7.0.1)
3m 59s
build-and-test (windows-latest, Agda-2.6.4.3)
12m 13s
1h 0m 23s