Skip to content

Add Spotless#3115

Closed
scordio wants to merge 1 commit intomainfrom
spotless
Closed

Add Spotless#3115
scordio wants to merge 1 commit intomainfrom
spotless

Conversation

@scordio
Copy link
Copy Markdown
Member

@scordio scordio commented Jul 20, 2023

Closes #2530.

@scordio scordio added this to the 3.25.0 milestone Jul 20, 2023
scordio pushed a commit that referenced this pull request Jul 20, 2023
@scordio scordio closed this in 5fa6c2d Jul 20, 2023
@scordio scordio deleted the spotless branch July 20, 2023 19:10
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.

Spotless check for formatting preferences

2 participants