lint

Merge pull request #1960 from peternewman/e1.33-cherry-pick #631

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build for Lint Tasks	1m 35s
weblint	17s
codespell	50s
cpplint	1m 11s
flake8	45s
Check Licences	17s
Count generic NOLINTs	13s
spellintian	33s
	5m 41s