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

Chore: fix code wrongly formatted by Styler #568

Merged
merged 1 commit into from
Jul 8, 2024

Conversation

davidebriani
Copy link
Collaborator

When the first formatting job was run with Styler in PR #557, the latter misplaced some code and comments.
This change fixes the issue by moving back the comments near the appropriate code.

When the first formatting job was run with Styler in PR edgehog-device-manager#557, the latter
misplaced some code and comments.
This change fixes the issue by moving back the comments near the
appropriate code.

Signed-off-by: Davide Briani <davide.briani@secomind.com>
@davidebriani davidebriani added chore Maintenance chore backend This issue is relative to the Edgehog Backend labels Jul 8, 2024
@davidebriani davidebriani requested a review from rbino July 8, 2024 12:39
@coveralls
Copy link

coveralls commented Jul 8, 2024

Pull Request Test Coverage Report for Build d6531ae1f954ac1e967e3d8d6d36cef1a172fb92-PR-568

Details

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage increased (+80.4%) to 80.449%

Totals Coverage Status
Change from base Build 9839226001: 80.4%
Covered Lines: 1218
Relevant Lines: 1514

💛 - Coveralls

@rbino rbino merged commit 2252c0a into edgehog-device-manager:main Jul 8, 2024
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backend This issue is relative to the Edgehog Backend chore Maintenance chore
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants