Rodrigo Rodriguez (Pragmatismo) c11801fcd8 CI: v17 - Build ONLY botserver, not entire workspace ... - Only build -p botserver (not botui, botlib separately) - Initialize only required submodules (botlib, botserver) - Much faster, focused build		2026-04-18 18:51:00 -03:00
..
workflows	CI: v17 - Build ONLY botserver, not entire workspace	2026-04-18 18:51:00 -03:00