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

Fix ktlint issue that was accidentally merged #8139

Merged
merged 1 commit into from
Feb 16, 2023

Conversation

jmartinesp
Copy link
Member

@jmartinesp jmartinesp commented Feb 16, 2023

Type of change

  • Feature
  • Bugfix
  • Technical
  • Other : fix ktlint issue.

Content

Fixed a ktlint issue about a field with a comment being right below another one with no extra line breaks.

Motivation and context

Fix ktlint issue in develop branch mentioned in #8138.

Tests

The quality workflow of the CI should pass now.

Checklist

@bmarty
Copy link
Member

bmarty commented Feb 16, 2023

Oups, merged accidentally because it was part of the hotfix branch, and the CI did not checked it. Thanks!

@jmartinesp jmartinesp marked this pull request as ready for review February 16, 2023 10:27
@jmartinesp jmartinesp enabled auto-merge (squash) February 16, 2023 10:27
@sonarcloud
Copy link

sonarcloud bot commented Feb 16, 2023

Kudos, SonarCloud Quality Gate passed!    Quality Gate passed

Bug A 0 Bugs
Vulnerability A 0 Vulnerabilities
Security Hotspot A 0 Security Hotspots
Code Smell A 0 Code Smells

No Coverage information No Coverage information
0.0% 0.0% Duplication

@jmartinesp jmartinesp merged commit a358644 into develop Feb 16, 2023
@jmartinesp jmartinesp deleted the jme/fix-ktlint-issue branch February 16, 2023 11:14
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.

2 participants