Skip to content
Test

[ ci ] Only ask Stack to install Agda if it has not been installed #583

Sign in to view logs

[ ci ] Only ask Stack to install Agda if it has not been installed

[ ci ] Only ask Stack to install Agda if it has not been installed #583

Annotations

1 error

build-and-test (windows-latest, Agda-2.7.0)

build-and-test (windows-latest, Agda-2.7.0)
succeeded Nov 20, 2024 in 8m 47s