lint

Merge pull request #1945 from peternewman/e1.33-cherry-pick #539

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
weblint	15s
Build for Lint Tasks	1m 35s
cpplint	1m 21s
Check Licences	15s
Count generic NOLINTs	14s
codespell	47s
flake8	44s
spellintian	34s
	5m 45s