GitHub Actions CI

Address server CodeQL gripes #44

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-14.04 gcc-4.8	10m 44s
ubuntu-14.04 gcc-4.9	10m 52s
ubuntu-18.04 gcc-5	13m 55s
ubuntu-18.04 gcc-6	13m 22s
ubuntu-18.04 gcc-7	13m 22s
ubuntu-18.04 gcc-8	12m 38s
ubuntu-20.04 gcc-9	10m 39s
ubuntu-20.04 gcc-10	11m 22s
ubuntu-20.04 gcc-11	10m 13s
ubuntu-22.04 gcc-12	11m 19s
	1h 58m 26s