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

Overhaul Unicode preferences #1586

Merged
merged 6 commits into from
Feb 5, 2024

Merge branch 'master' into lg/with_unicode

6108fee
Select commit
Loading
Failed to load commit list.
Merged

Overhaul Unicode preferences #1586

Merge branch 'master' into lg/with_unicode
6108fee
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project failed Feb 2, 2024 in 0s

87.14% (-0.04%) compared to 14b8c2b

View this Pull Request on Codecov

87.14% (-0.04%) compared to 14b8c2b

Details

Codecov Report

Attention: 22 lines in your changes are missing coverage. Please review.

Comparison is base (14b8c2b) 87.17% compared to head (6108fee) 87.14%.

Files Patch % Lines
src/PrettyPrinting.jl 0.00% 22 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##           master    #1586      +/-   ##
==========================================
- Coverage   87.17%   87.14%   -0.04%     
==========================================
  Files         115      115              
  Lines       29565    29577      +12     
==========================================
+ Hits        25773    25774       +1     
- Misses       3792     3803      +11     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.