Skip to content

Use push-triggered deploy for GitHub Pages and remove manual dispatch - #7

Merged
Evenss merged 1 commit into
mainfrom
codex/ci-1rnocf
Jul 16, 2026
Merged

Use push-triggered deploy for GitHub Pages and remove manual dispatch#7
Evenss merged 1 commit into
mainfrom
codex/ci-1rnocf

Commits

  1. Commits on Jul 16, 2026