Skip to content

docs bot: format generated docs PRs before committing - #5226

Merged
kompfner merged 1 commit into
mainfrom
pk/docs-bot-prettier
Aug 5, 2026
Merged

docs bot: format generated docs PRs before committing#5226
kompfner merged 1 commit into
mainfrom
pk/docs-bot-prettier

Commits

Commits on Aug 5, 2026