Repository navigation

Gate docs Pages-only upload step to main non-PR events - #9

Closed

rgutzen with Copilot wants to merge 3 commits into

mainfrom

copilot/fix-code-review-comment

Closed

Gate docs Pages-only upload step to main non-PR events#9
rgutzen with Copilot wants to merge 3 commits into
mainfrom
copilot/fix-code-review-comment

Commits on Jul 2, 2026
- Initial plan
  Copilot
  authored
  7f43b49
- ci: gate docs artifact upload to non-PR main events
  Copilot
  authored
  3ae081c
- style: auto-format by black + autoflake
  github-actions[bot]
  committed
  99fc2dd