Skip to content

Conversation

krlmlr
Copy link
Collaborator

@krlmlr krlmlr commented Nov 3, 2022

with styler.

@Mytherin
Copy link
Collaborator

Mytherin commented Nov 5, 2022

Should we also add a CI run to make sure the correct formatting is maintained?

@Mytherin Mytherin changed the base branch from master to feature November 15, 2022 11:49
@Mytherin Mytherin merged commit cd88769 into duckdb:feature Nov 15, 2022
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