Test

[ new ] New UI for switching Agda versions #671

Job	Run time
build-and-test (windows-latest, Agda-2.6.3)	24m 50s
build-and-test (windows-latest, Agda-2.6.4)	23m 20s
build-and-test (windows-latest, Agda-2.7.0)	21m 33s
build-and-test (ubuntu-latest, Agda-2.6.3)	17m 41s
build-and-test (ubuntu-latest, Agda-2.6.4)	19m 44s
build-and-test (ubuntu-latest, Agda-2.7.0)	18m 24s
build-and-test (macos-latest, Agda-2.6.3)	15m 50s
build-and-test (macos-latest, Agda-2.6.4)	16m 10s
build-and-test (macos-latest, Agda-2.7.0)	17m 16s
	2h 54m 48s

Provide feedback