Skip to content

[#877] apply formatting and linting to profile module#1055

Merged
bossenti merged 2 commits intodevfrom
chore/formatting-linting-profile
Jan 8, 2023
Merged

[#877] apply formatting and linting to profile module#1055
bossenti merged 2 commits intodevfrom
chore/formatting-linting-profile

Conversation

@bossenti
Copy link
Copy Markdown
Contributor

@bossenti bossenti commented Jan 7, 2023

Purpose

Apply formatting and linting to profile module

Remarks

PR introduces (a) breaking change(s): no

PR introduces (a) deprecation(s): no

@bossenti bossenti mentioned this pull request Jan 7, 2023
32 tasks
@bossenti bossenti merged commit 31f5f18 into dev Jan 8, 2023
@bossenti bossenti deleted the chore/formatting-linting-profile branch January 8, 2023 19:42
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