[ git ] Merge pull request #39 from agda-web/wasm-agda-setup #90

Job	Run time
Build and Test (windows-latest, Agda-2.8.0)	4m 1s
Build and Test (ubuntu-latest, Agda-2.8.0)	1m 36s
Build and Test (ubuntu-latest, Agda-2.7.0.1)	1m 19s
Build and Test (ubuntu-latest, Agda-2.6.4.3)	1m 12s
Build and Test (windows-latest, Agda-2.7.0.1)	3m 36s
Build and Test (macos-latest, Agda-2.8.0)	2m 38s
Build and Test (macos-latest, Agda-2.6.4.3)	1m 53s
Build and Test (macos-latest, Agda-2.7.0.1)	2m 32s
Build and Test (windows-latest, Agda-2.6.4.3)	4m 20s
Build and Test (macos-13, Agda-2.8.0)	3m 13s
Build and Test (macos-13, Agda-2.6.4.3)	3m 19s
Build WASM	0s
Build and Test (macos-13, Agda-2.7.0.1)	3m 6s
Create Release	-1s
Upload to Stable Release	-1s
Upload to Dev Release	-1s
	32m 42s

Provide feedback