CI

Simplify the type of `globalManager` #257

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ormolu	5s
build (3.10, 9.6.3)	17m 47s
build (3.10, 9.8.2)	16m 17s
build (3.10, 9.10.1)	14m 4s
	48m 13s