mirror of
https://github.com/arduino/library-registry.git
synced 2025-05-17 20:21:10 +03:00
39bf4cdceb
On every push or pull request that affects the repository's GitHub Actions workflows, and periodically, validate them against the JSON schema.
Arduino Library Manager list
This branch contains the generated source file for the Arduino Library Manager index. If you want to add a library to the Arduino Library Manager index, please follow these instructions:
https://github.com/arduino/library-registry#adding-a-library-to-library-manager