[ git ] Merge pull request #40 from agda-web/raw-responses #92

Job	Run time
Build and Test (windows-latest, Agda-2.8.0)	47m 40s
Build and Test (macos-latest, Agda-2.6.4.3)	36m 0s
Build and Test (windows-latest, Agda-2.6.4.3)	40m 25s
Build and Test (ubuntu-latest, Agda-2.8.0)	39m 15s
Build and Test (macos-latest, Agda-2.7.0.1)	42m 19s
Build and Test (macos-13, Agda-2.7.0.1)	1h 11m 41s
Build and Test (ubuntu-latest, Agda-2.7.0.1)	34m 44s
Build and Test (macos-latest, Agda-2.8.0)	28m 33s
Build and Test (macos-13, Agda-2.8.0)	1h 17m 7s
Build and Test (macos-13, Agda-2.6.4.3)	1h 9m 6s
Build and Test (ubuntu-latest, Agda-2.6.4.3)	33m 50s
Build and Test (windows-latest, Agda-2.7.0.1)	40m 52s
Build WASM	-1s
Create Release	0s
Upload to Dev Release	0s
Upload to Stable Release	0s
	9h 21m 31s

Provide feedback