GitHub CI

GitHub CI #363

# to view logs

Run time

Learn about OS # on GitHub Actions

Job	Run time
build (8.2)	1m 20s
build (8.1)	1m 34s
build (8.0)	1m 20s
build (7.4)	1m 25s
build (7.3)	1m 21s
build (7.2)	1m 39s
build (7.1)	1m 29s
build (7.0)	1m 28s
build (5.6)	1m 35s
	13m 11s