GitHub CI

GitHub CI #357

# to view logs

Run time

Learn about OS # on GitHub Actions

Job	Run time
build (8.2)	1m 41s
build (8.1)	1m 25s
build (8.0)	1m 22s
build (7.4)	1m 38s
build (7.3)	1m 27s
build (7.2)	1m 38s
build (7.1)	1m 23s
build (7.0)	1m 57s
build (5.6)	1m 22s
	13m 53s