Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

build: enforce formatting #751

Merged
merged 2 commits into from Sep 15, 2023
Merged

build: enforce formatting #751

merged 2 commits into from Sep 15, 2023

Conversation

jswrenn
Copy link
Member

@jswrenn jswrenn commented Sep 15, 2023

This PR is a replay of #741. Due to the huge amount of lines changed, it was far more efficient to replay cargo fmt than to review the formatting changes in that PR manually.

@jswrenn jswrenn added this pull request to the merge queue Sep 15, 2023
Merged via the queue into master with commit 9b553d7 Sep 15, 2023
9 checks passed
@mightyiam
Copy link
Contributor

Wow. This is a step. Thank you.

@Philippe-Cholet
Copy link
Member

Philippe-Cholet commented Sep 16, 2023

Wow I did not expect this to be merged that soon, but that is done and it's a good thing, now let's go fix things...

EDIT: Thanks!

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.

None yet

3 participants