Skip to content

Cargo fmt src/server.rs #71

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Mar 19, 2021
Merged

Cargo fmt src/server.rs #71

merged 1 commit into from
Mar 19, 2021

Conversation

jsha
Copy link
Collaborator

@jsha jsha commented Mar 19, 2021

No description provided.

@jsha jsha merged commit d3cfc7b into main Mar 19, 2021
@jsha jsha deleted the cargo-fmt branch March 19, 2021 00:18
@djc
Copy link
Member

djc commented Mar 19, 2021

Maybe check this in CI?

@jsha
Copy link
Collaborator Author

jsha commented Mar 19, 2021

This is checked in CI; but right now CI is broken because the miri phase is broken: #61. But I should remove that phase until I can fix it. Thanks for the ping.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@jsha @djc