Closed Spirik closed 4 years ago
Hm! The site build does occasionally fail when people delete Github repos.
However I recently changed mail servers and stopped getting the error reports.
Should all be fixed now. Thanks for letting me know 👍
please check the update process. "Most Recent" is from May 2 and is labeled as "today" at least "Arduino_Braccio_plusplus" and Keyboard library have a new version in Library Manager in IDE since then.
EDIT: it says "The content on this site was last updated: 2022-05-02 12:41:51 +0100 "
Did it turn out the source of the problem you reported was the Arduino Library Manager index being outdated @JAndrassy (https://github.com/arduino/library-registry/issues/1396)?
I have raised a new issue: #23
The currently problem is not related to this one (#13).
Site hasn't been updated since 04/28/2020 (at least that's what it says in the footer). Are there any plans currently to restore it to working order? I was usually referring to it to see, if release of my library were successfully published and available to users through Library Manager. Thx!