Hello, I recently added a library for a board that I've been developing to the library index. However, upon pushing new tags, arduino-lint fails with the following error:
ERROR: Library name PowerFeather-SDK is in use by a library in the Library Manager index. Each library must have a
unique name value. If your library is already in the index, use the "--library-manager update" flag.
See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format
(Rule LP017)
It has a suggestion on what to do, which is to use --library-manager update, but I can't seem to find where to use it. I looked at other libraries in the list, and there doesn't seem to be anything special with their library.properties file. I also looked at https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format and CTRL-F'ed, there was no mention of any of --library-manager update.
The action is actually running the Arduino Lint command line tool and the output it prints comes from that tool. The information about the command line flag is specific to using Arduino Lint directly from the command line (as you might do if you wanted to run the checks on your library locally.
When using the arduino/arduino-lint-action action, you must use the equivalent workflow step input:
The action is actually running the Arduino Lint command line tool and the output it prints comes from that tool.
That makes sense! I was wondering why it looked like CLI arguments, but I didn't know where to put it. I hadn't thought of looking for arduino-lint's repo.
Anyways, I accepted the merge request and arduino-lint now passes. Thank you very much!