Skip to content

ci: trigger docs rebuild on platform/core source changes#1565

Merged
radu-mocanu merged 1 commit intomainfrom
ci/docs-trigger-platform-src
Apr 14, 2026
Merged

ci: trigger docs rebuild on platform/core source changes#1565
radu-mocanu merged 1 commit intomainfrom
ci/docs-trigger-platform-src

Commits

Commits on Apr 14, 2026