CI

docs: remove lintdoc from help-check, skip the name checker during help-update #4036

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check (nightly, 3.15.0, 1.6.0)	1m 15s
lint (5.1, 1.2.0)	13s
check (stable, 3.15.0, 1.6.0)	1m 16s
	2m 44s