Fast linters go first (#9501)

Commit

2 years ago

Fast linters go first (#9501) Proposal to reverse the order of linters based on the principle of running the fast ones first.