CI

Don't exit with failure about missing mention of rule option when rule option list was just generated #1057

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (ubuntu, 14.x)	5m 49s
build (ubuntu, 16.x)	3m 15s
build (ubuntu, 18.x)	3m 45s
build (windows, 14.x)	8m 21s
build (windows, 16.x)	6m 56s
build (windows, 18.x)	6m 29s
	34m 35s