arduino-libraries / Arduino_PortentaBreakout

GNU Lesser General Public License v2.1
10 stars 5 forks source link

Reconfigure Arduino Lint CI for Library Manager #24

Closed per1234 closed 3 years ago

per1234 commented 3 years ago

Arduino Lint, which is used in the "Check Arduino" CI workflow, checks for compliance with the requirements for submission of a library into the Library Manager index, as well as for the requirements for releases of the library to be indexed once it is accepted. Since some of these requirements are contradictory, Arduino Lint must be configured according to the library's status.

In GitHub Actions workflows, this configuration is done via the arduino/arduino-lint-action action's library-manager input.

Now that the library has been accepted into the Library Manager index (https://github.com/arduino/library-registry/pull/131), the "update" configuration must be used.