Skip to content

Conversation

@GarboMuffin
Copy link
Member

ok you don't need to do a full functionality test on a documentation typo fix

@github-actions github-actions bot added the pr: other Pull requests that neither add new extensions or change existing ones label Nov 18, 2025
@GarboMuffin GarboMuffin merged commit b3895a1 into master Nov 18, 2025
4 checks passed
@GarboMuffin GarboMuffin deleted the trivial-changes branch November 18, 2025 04:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr: other Pull requests that neither add new extensions or change existing ones

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants