Skip to content
CI

[ new ] Release Language Server v4 that supports Agda-2.7.0.1, Agda-2… #30

Sign in to view logs

[ new ] Release Language Server v4 that supports Agda-2.7.0.1, Agda-2…

[ new ] Release Language Server v4 that supports Agda-2.7.0.1, Agda-2… #30

Annotations

1 error

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

build-and-test (windows-latest, Agda-2.6.3)
failed Dec 6, 2024 in 5m 16s