CI

Simplify syntax/abbrev table setup #150

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (28.1)	1m 5s
build (28.2)	1m 41s
build (29.1)	2m 15s
build (29.4)	2m 10s
build (29.3)	1m 2s
build (30.1)	2m 28s
build (release-snapshot)	1m 48s
build (snapshot)	49s
build (29.2)	1m 13s
	14m 31s