Run Github CI tests.

-Wundef #427

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build and test (gcc, 1)	1m 28s
Build and test (gcc, 2)	1m 46s
Build and test (gcc, 3)	1m 50s
Build and test (gcc, 4)	1m 53s
Build and test (gcc, 5)	1m 17s
Build and test (gcc, 6)	1m 47s
Build and test (gcc, 7)	3m 52s
Build and test (gcc, 8)	3m 29s
Build and test (gcc, 9)	1m 39s
Build and test (gcc, 10)	1m 19s
Build and test (gcc, 11)	1m 27s
Build and test (gcc, 12)	1m 27s
Build and test (gcc, 13)	1m 26s
Build and test (gcc, 14)	1m 20s
Build and test (gcc, 15)	1m 17s
	27m 17s