GitHub CI

GitHub CI #361

# to view logs

Run time

Learn about OS # on GitHub Actions

Job	Run time
build (8.2)	1m 55s
build (8.1)	1m 21s
build (8.0)	1m 26s
build (7.4)	1m 34s
build (7.3)	1m 24s
build (7.2)	1m 53s
build (7.1)	1m 24s
build (7.0)	1m 35s
build (5.6)	1m 27s
	13m 59s