Skip to content

chore: rename prettier check - #670

Merged
david-christiansen merged 1 commit into
mainfrom
prettier-name-action
Dec 12, 2025
Merged

chore: rename prettier check#670
david-christiansen merged 1 commit into
mainfrom
prettier-name-action

Conversation

@david-christiansen

Copy link
Copy Markdown
Collaborator

This is so it can be made a precondition for the merge queue

This is so it can be made a precondition for the merge queue
@david-christiansen
david-christiansen added this pull request to the merge queue Dec 12, 2025
Merged via the queue into main with commit 5fce53d Dec 12, 2025
8 checks passed
@david-christiansen
david-christiansen deleted the prettier-name-action branch December 12, 2025 08:59
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.

1 participant