Run Github CI tests.

Last necessary fix for -Wundef #436

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build and test (gcc, 1)	1m 15s
Build and test (gcc, 2)	1m 12s
Build and test (gcc, 3)	2m 6s
Build and test (gcc, 4)	1m 47s
Build and test (gcc, 5)	1m 19s
Build and test (gcc, 6)	1m 33s
Build and test (gcc, 7)	2m 56s
Build and test (gcc, 8)	2m 44s
Build and test (gcc, 9)	1m 19s
Build and test (gcc, 10)	1m 35s
Build and test (gcc, 11)	1m 46s
Build and test (gcc, 12)	1m 49s
Build and test (gcc, 13)	1m 15s
Build and test (gcc, 14)	1m 38s
Build and test (gcc, 15)	1m 37s
	25m 51s