lint

Add a TODO for future tidying up #785

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
weblint	20s
Build for Lint Tasks	1m 39s
cpplint	1m 18s
Check Licences	18s
Count generic NOLINTs	11s
spellintian	1m 14s
codespell	47s
flake8	44s
	6m 31s