Skip to content

Update repositories.txt #4889

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

Merged
merged 1 commit into from Jul 31, 2024
Merged

Update repositories.txt #4889

merged 1 commit into from Jul 31, 2024

Conversation

ghost
Copy link

@ghost ghost commented Jul 31, 2024

No description provided.

@github-actions github-actions bot added the topic: submission Add library to the list label Jul 31, 2024
Copy link
Contributor

Arduino Lint has suggestions for possible improvements to 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)                                                                                              

Linter results for project: 0 ERRORS, 1 WARNINGS

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

Linting sketch in ERLtech-RobotControl/examples/Bluetooth_Control_Robot

Linter results for project: no errors or warnings

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

Linter results for projects: 0 ERRORS, 1 WARNINGS

@github-actions github-actions bot merged commit be63962 into arduino:main Jul 31, 2024
9 checks passed
Copy link
Contributor

Your submission has now been accepted! Thanks for your contribution to the Arduino Library Manager index.

The library(s) will be available for installation via Library Manager within a day's time.

You can check the logs from the Library Manager indexer for your library(s) here:
http://downloads.arduino.cc/libraries/logs/github.com/ERLtech/ERLtech-RobotControl/

github-actions bot pushed a commit that referenced this pull request Jul 31, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: submission Add library to the list
Projects
None yet
Development

Successfully merging this pull request may close these issues.

0 participants