Skip to content

To add ERL library to library manager #4891

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 5 commits into from
Closed

To add ERL library to library manager #4891

wants to merge 5 commits into from

Conversation

ghost
Copy link

@ghost ghost commented Jul 31, 2024

No description provided.

Copy link
Contributor

Hi @ERLtech.
Your pull request has been detected as something other than a Library Manager submission.
A maintainer will need to review it before it can be merged.

If you intended to submit a library, please check the instructions and update your pull request if necessary:
https://github.com/arduino/library-registry/blob/main/README.md#instructions

@github-actions github-actions bot added the topic: modification Change existing list entry label Jul 31, 2024
Copy link
Contributor

ERROR: Arduino Lint found errors with https://github.com/ERLtech/ERLtech_RobotControl.git:

Linting library in ERLtech_RobotControl
INFO: No header file found matching library name (ERLtech-RobotControl.h). Best practices are for primary header        
      filename to match library name.                                                                                   
      See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format            
      (Rule LS008)                                                                                                      
WARNING: library.properties name value ERLtech-RobotControl is longer than the recommended length of 16 characters.
         See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format    
         (Rule LP010)                                                                                              
ERROR: Library name ERLtech-RobotControl not found in the Library Manager index. Library names are not allowed to change
       after being added to the index.                                                                                  
       See: https://github.com/arduino/library-registry/blob/main/FAQ.md#how-can-i-change-a-librarys-name               
       (Rule LP018)                                                                                                     

Linter results for project: 1 ERRORS, 1 WARNINGS

-------------------

Linting sketch in ERLtech_RobotControl/examples/Bluetooth_Control_Robot

Linter results for project: no errors or warnings

-------------------

Linter results for projects: 1 ERRORS, 1 WARNINGS

Copy link
Contributor

Thanks for your interest in contributing to the Arduino Library Manager index @ERLtech
Please resolve the error(s) mentioned in the previous comment.

After resolving the issue, trigger this check again by doing one of the following:

  • Commit the required change to the branch you submitted this pull request from.
  • Comment here, mentioning @ArduinoBot in the comment.

NOTE: It is not necessary to open a new pull request. ❗

More information:
https://github.com/arduino/library-registry/blob/main/README.md#if-the-problem-is-with-the-pull-request

@github-actions github-actions bot requested a review from per1234 July 31, 2024 07:18
Copy link
Contributor

Hi @ERLtech.
Your pull request has been detected as something other than a Library Manager submission.
A maintainer will need to review it before it can be merged.

If you intended to submit a library, please check the instructions and update your pull request if necessary:
https://github.com/arduino/library-registry/blob/main/README.md#instructions

@github-actions github-actions bot added topic: removal Remove library from the list and removed topic: modification Change existing list entry labels Jul 31, 2024
@ghost ghost closed this Jul 31, 2024
@per1234 per1234 self-assigned this Jul 31, 2024
@per1234 per1234 added topic: URL change Change library repository URL conclusion: duplicate Has already been submitted and removed topic: removal Remove library from the list labels Jul 31, 2024
@per1234 per1234 mentioned this pull request Jan 14, 2025
This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
conclusion: duplicate Has already been submitted topic: URL change Change library repository URL
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant