Style linters

Add admissible local variations from test functions #4360

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Python based style linter	14s
Check for spelling errors	13s
Lean based style linters	42m 45s
	43m 12s