Windows build and test

started btor22xcfa project and added first visitors #197

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test-windows (windows-latest)	7m 33s
test-windows (windows-2019)	9m 0s
test-windows (windows-2022)	7m 9s
	23m 42s