Skip to content

Remove noci tag on auto-docgen commits#572

Open
tokebe wants to merge 2 commits into
2.0from
friendlier-doc-updates
Open

Remove noci tag on auto-docgen commits#572
tokebe wants to merge 2 commits into
2.0from
friendlier-doc-updates

Conversation

@tokebe

@tokebe tokebe commented Jul 9, 2026

Copy link
Copy Markdown
Contributor

The docgen commit shouldn't cause weird loops so it's safe to let it be ci'd as well. Having the noci tag also prevents the PR review interface from properly displaying run success/failures which interferes with both the PR review and writing process.

This does cause a second set of workflows which require maintainer permission to run, but that's less annoying than having the outcomes hidden.

tokebe added 2 commits July 9, 2026 17:14
the docgen commit shouldn't cause weird loops so it's safe to let it be
ci'd as well. Having the noci tag also prevents the PR review interface
from properly displaying run success/failures which interferes with both
the PR review *and* writing process.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants