Skip to content

fix: exempt docs-only PRs from real proof gate#72

Merged
kevinslin merged 1 commit into
mainfrom
codex/docs-only-proof-exemption
May 14, 2026
Merged

fix: exempt docs-only PRs from real proof gate#72
kevinslin merged 1 commit into
mainfrom
codex/docs-only-proof-exemption

Commits

Commits on May 14, 2026