GitHub CI

Actually fix Linux build #153

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Linux (x64, Release)	1m 21s
Linux (x64, Debug)	1m 17s
Windows (x64, Release)	2m 52s
Windows (x64, Debug)	1m 55s
	7m 25s