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: highlight user-defined value types #428

Merged
merged 1 commit into from
Mar 14, 2023

Conversation

antico5
Copy link
Collaborator

@antico5 antico5 commented Mar 13, 2023

Closes #420

@codecov-commenter
Copy link

Codecov Report

❗ No coverage uploaded for pull request base (development@fe162f5). Click here to learn what that means.
The diff coverage is n/a.

❗ Current head 2744460 differs from pull request most recent head 7f6f528. Consider uploading reports for the commit 7f6f528 to get more accurate results

📣 This organization is not using Codecov’s GitHub App Integration. We recommend you install it so Codecov can continue to function properly for your repositories. Learn more

@@              Coverage Diff               @@
##             development     #428   +/-   ##
==============================================
  Coverage               ?   55.44%           
==============================================
  Files                  ?      177           
  Lines                  ?     4502           
  Branches               ?      742           
==============================================
  Hits                   ?     2496           
  Misses                 ?     1774           
  Partials               ?      232           

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

Copy link
Member

@kanej kanej left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@antico5 antico5 merged commit 440956f into development Mar 14, 2023
@antico5 antico5 deleted the highlight_user_defined_value_types branch March 14, 2023 12:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

User-defined value types not highlighted
3 participants