Build and Test Nova

Update Neptune & simplify SatisfyingAssignment (Arecibo backport) #727

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
fmt	8s
build	3m 45s
build-wasm	39s
clippy	43s
test	15m 8s
	20m 23s