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.

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

fix: removed stopArea & stopPoint formatting #4226

Merged
merged 4 commits into from
Mar 8, 2024
Merged

fix: removed stopArea & stopPoint formatting #4226

merged 4 commits into from
Mar 8, 2024

Conversation

adrien3d
Copy link
Contributor

@adrien3d adrien3d force-pushed the stop-point-area-formatting-removal branch from 91b0209 to a08608d Compare February 28, 2024 16:47
@adrien3d adrien3d force-pushed the stop-point-area-formatting-removal branch from 64424d6 to 4ab82a3 Compare February 29, 2024 08:59
@sonarcloud SonarCloud
Copy link

sonarcloud bot commented Feb 29, 2024

Quality Gate Passed Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
No data about Coverage
0.0% Duplication on New Code

See analysis details on SonarCloud

@SGrenet
Copy link

SGrenet commented Mar 1, 2024 •
edited

Don't see deletion of spaces removal in ids
edit : deletion of spaces removal in ids is not a short term need
=> dont't do it , we will plan it later

@adrien3d adrien3d marked this pull request as draft March 1, 2024 14:38
@adrien3d adrien3d marked this pull request as ready for review March 4, 2024 08:43
@sonarcloud SonarCloud
Copy link

sonarcloud bot commented Mar 7, 2024

Quality Gate Passed Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
No data about Coverage
No data about Duplication

See analysis details on SonarCloud

@adrien3d adrien3d merged commit 4f687a5 into dev Mar 8, 2024
9 checks passed
@adrien3d adrien3d deleted the stop-point-area-formatting-removal branch March 8, 2024 08:48
@adrien3d adrien3d restored the stop-point-area-formatting-removal branch March 14, 2024 13:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@azime azime azime approved these changes

@kadhikari kadhikari kadhikari approved these changes

@SGrenet SGrenet SGrenet approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
4 participants
@adrien3d @SGrenet @azime @kadhikari