[ git ] Merge pull request #32 from agda-web/wasm #65

Job	Run time
build-and-test (ubuntu-latest, Agda-2.7.0.1)	31m 20s
build-and-test (ubuntu-latest, Agda-2.6.3)	32m 48s
build-and-test (windows-latest, Agda-2.7.0.1)	38m 15s
build-and-test (windows-latest, Agda-2.6.3)	42m 3s
build-and-test (windows-latest, Agda-2.6.4.3)	37m 42s
build-and-test (ubuntu-latest, Agda-2.6.4.3)	30m 18s
build-and-test (macos-latest, Agda-2.6.3)	34m 27s
build-and-test (macos-13, Agda-2.6.3)	59m 17s
build-and-test (macos-13, Agda-2.6.4.3)	57m 56s
build-and-test (macos-latest, Agda-2.6.4.3)	35m 45s
build-and-test (macos-13, Agda-2.7.0.1)	57m 56s
build-and-test (macos-latest, Agda-2.7.0.1)	13m 56s
	7h 51m 43s

Provide feedback