Back to pull request #1474

Update lints ahead of #1462, so that #1462's diff is smaller #2427

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Install Dependencies	47s
Linting	4m 2s
Chrome	1m 32s
Types	5m 13s
Floating Dependencies	1m 17s
	12m 51s