rodriguez pushed to main at GeneralBots/botlib

rodriguez
2025-12-16T20:05:27Z

b61f05b96d147338bce1ceb0fe72ec737c1aa94b Revert "Disable CI - library compiled as dependency"