ci: rebuild the manual on every push to main - #16

Merged

hlship merged 2 commits into

mainfrom

hlship/260902-rebuild-manual-on-main

Sep 3, 2026

Commits on Sep 3, 2026

ci: rebuild the manual on every push to main

hlship
and
claude
committed
061b587
ci: only rebuild the manual when docs/ changes

hlship
and
claude
committed
470bc1d