ci: trigger docs rebuild on platform/core source changes#1565
Merged
radu-mocanu merged 1 commit intomainfrom Apr 14, 2026
Merged
ci: trigger docs rebuild on platform/core source changes#1565radu-mocanu merged 1 commit intomainfrom
radu-mocanu merged 1 commit intomainfrom