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

Annotations

1 error

build-and-test (macos-latest, Agda-2.6.4.3)

build-and-test (macos-latest, Agda-2.6.4.3)
succeeded Dec 5, 2024 in 12m 0s