Skip to content

Keep PR documentation builds from publishing GitHub Pages - #2

Merged
wonjun-lab merged 1 commit into
mainfrom
fix/ci-pages-publication-guard-20261008
Oct 8, 2026
Merged

Keep PR documentation builds from publishing GitHub Pages#2
wonjun-lab merged 1 commit into
mainfrom
fix/ci-pages-publication-guard-20261008

ci: publish documentation only from validated main builds

7aae1d4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar