Skip to content
CI

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

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 #20

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-test (windows-latest, Agda-2.7.0.1)
4m 37s
4m 37s