Skip to content

chore: add new unified repo to library manager #4357

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
Apr 16, 2024

Conversation

koen1711
Copy link
Contributor

No description provided.

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

Arduino Lint has suggestions for possible improvements to https://github.com/leaphy-robotics/leaphy-extensions:

Linting library in leaphy-extensions
INFO: No header file found matching library name (Leaphy_Extensions.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 Leaphy Extensions is longer than the recommended length of 16 characters.
         See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format 
         (Rule LP010)                                                                                           
WARNING: library.properties name Leaphy Extensions contains spaces. Although supported, best practices is to not use    
         spaces.                                                                                                        
         See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format         
         (Rule LP015)                                                                                                   
WARNING: No license file found.                                                                                                                 
         See:                                                                                                                                   
         https://docs.github.com/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/licensing-a-repository
         (Rule LD002)                                                                                                                           
WARNING: No example sketches found. Please provide examples.                                      
         See: https://arduino.github.io/arduino-cli/latest/library-specification/#library-examples
         (Rule LD004)                                                                             

Linter results for project: 0 ERRORS, 4 WARNINGS

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

@github-actions github-actions bot merged commit b94f312 into arduino:main Apr 16, 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/leaphy-robotics/leaphy-extensions/

github-actions bot pushed a commit that referenced this pull request Apr 16, 2024
@koen1711
Copy link
Contributor Author

@ArduinoToolingBot

@koen1711
Copy link
Contributor Author

@ArduinoBot

@per1234
Copy link
Contributor

per1234 commented Feb 17, 2025

Hello @koen1711. The automated system here only operates on open pull requests. Since your submission was already accepted and the pull request merged, the bot won't pay any more attention to this pull request.

But this human is happy to provide assistance. Was there something you needed from the bot?

@koen1711
Copy link
Contributor Author

Hello @koen1711. The automated system here only operates on open pull requests. Since your submission was already accepted and the pull request merged, the bot won't pay any more attention to this pull request.

But this human is happy to provide assistance. Was there something you needed from the bot?

Hi thank you for your response, I kinda got a little impatient and reading this I thought to get the new version out faster I had the ping the bot. But thank you so much man!!!
https://github.com/arduino/library-registry?tab=readme-ov-file#if-the-problem-is-with-the-library

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.

2 participants