Addressed issues #734 #743 #744 #748 #749 #751 and added a few user lemmas #939

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.16, 64, vst)	23m 31s
build (8.17, 64, vst)	22m 51s
build (8.18, 32, vst)	19m 12s
build (8.18, 64, vst)	22m 25s
build (dev, 64, vst)	19m 55s
test	0s
	1h 47m 54s