Skip to content
CI

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

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… #28

Annotations

1 error

build-and-test (macos-13, Agda-2.6.3)

build-and-test (macos-13, Agda-2.6.3)
failed Dec 6, 2024 in 2m 22s