CI-build

Support nested blocks in semi-auto property analyzer, add tests #109

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-and-test (Release)	13m 47s
build-and-test (Debug)	15m 13s
sign	0s
release	0s
build-and-test (Debug)	15m 53s
build-and-test (Release)	13m 47s
sign	0s
release	0s
	58m 40s