Support the SpaceWasm compilation target (#325) #87

Job	Run time
Stub drift vs public coq-wasm	2m 38s
Real-library oracle check	5s
Selected-artifact dischargeability check	4s
Stub drift vs private wasm-verifier	1m 53s
Real-library type-check	2m 56s
Selected-artifact discharge	0s
	7m 36s

Navigation Menu