Consider using arduino-lint in CI

[igrr]

Related area

CI, development workflow

Hardware specification

any

Is your feature request related to a problem?

Sketches and libraries sometimes end up with inconsistent naming or code style, or in generally don't comply with the Arduino guidelines.

Describe the solution you'd like

Arduino team provides an arduino-lint tool which can run some checks on sketches, libraries, and cores:
https://arduino.github.io/arduino-lint/

The ideal solution is to use the tool in CI or as a pre-commit hook, to check the new contributions.

Describe alternatives you've considered

No response

Additional context

No response

I have checked existing list of Feature requests and the Contribution Guide

• I confirm I have checked existing list of Feature requests and Contribution Guide.

[VojtechBartoska]

Closing this in favor of #7975