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

Job	Run time
build-and-test (windows-latest, Agda-2.7.0.1)	5m 13s
build-and-test (windows-latest, Agda-2.6.4.3)	6m 11s
build-and-test (windows-latest, Agda-2.6.3)	5m 35s
build-and-test (ubuntu-latest, Agda-2.7.0.1)	1m 35s
build-and-test (ubuntu-latest, Agda-2.6.4.3)	1m 25s
build-and-test (ubuntu-latest, Agda-2.6.3)	1m 30s
build-and-test (macos-latest, Agda-2.7.0.1)	2m 41s
build-and-test (macos-latest, Agda-2.6.4.3)	2m 40s
build-and-test (macos-latest, Agda-2.6.3)	3m 32s
build-and-test (macos-13, Agda-2.7.0.1)	5m 14s
build-and-test (macos-13, Agda-2.6.4.3)	5m 34s
build-and-test (macos-13, Agda-2.6.3)	4m 4s
	45m 14s

Provide feedback