CI

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

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