Test

[ fix ] Provide the CI with stack.yaml for building Agda #1078

Job	Run time
build-and-test (ubuntu-latest, Agda-2.6.4.3, .github/workflows/stack-Agda-2.6.4.3.yaml)	9m 40s
build-and-test (windows-latest, Agda-2.6.4.3, .github/workflows/stack-Agda-2.6.4.3.yaml)	9m 40s
build-and-test (macos-latest, Agda-2.6.4.3, .github/workflows/stack-Agda-2.6.4.3.yaml)	9m 43s
build-and-test (ubuntu-latest, Agda-2.8.0, .github/workflows/stack-Agda-2.8.0.yaml)	9m 40s
build-and-test (windows-latest, Agda-2.7.0.1, .github/workflows/stack-Agda-2.7.0.1.yaml)	9m 42s
build-and-test (macos-latest, Agda-2.8.0, .github/workflows/stack-Agda-2.8.0.yaml)	9m 42s
build-and-test (ubuntu-latest, Agda-2.7.0.1, .github/workflows/stack-Agda-2.7.0.1.yaml)	9m 41s
build-and-test (macos-latest, Agda-2.7.0.1, .github/workflows/stack-Agda-2.7.0.1.yaml)	9m 42s
build-and-test (windows-latest, Agda-2.8.0, .github/workflows/stack-Agda-2.8.0.yaml)	9m 41s
	1h 27m 11s

Provide feedback