CI Build

Correctly handle corrupt SMT models #604

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build on ubuntu-20.04	2m 53s
Build on windows-latest	6m 16s
Create NuGet package	3m 45s
	12m 54s