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

Pretty print/literate mode features #1094

Merged
merged 5 commits into from
Jun 4, 2024

ide: display meta solution in pretty

fd42ae9
Select commit
Loading
Failed to load commit list.
Merged

Pretty print/literate mode features #1094

ide: display meta solution in pretty
fd42ae9
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Jun 4, 2024 in 1s

78.78% (+0.08%) compared to 0d35dfc

View this Pull Request on Codecov

78.78% (+0.08%) compared to 0d35dfc

Details

Codecov Report

Attention: Patch coverage is 83.33333% with 8 lines in your changes missing coverage. Please review.

Project coverage is 78.78%. Comparing base (0d35dfc) to head (fd42ae9).
Report is 1 commits behind head on main.

Files Patch % Lines
...in/java/org/aya/syntax/telescope/AbstractTele.java 42.85% 4 Missing ⚠️
...ain/java/org/aya/cli/literate/SyntaxHighlight.java 75.00% 0 Missing and 1 partial ⚠️
...java/org/aya/syntax/concrete/stmt/StmtVisitor.java 50.00% 0 Missing and 1 partial ⚠️
...src/main/java/org/aya/syntax/core/def/TyckDef.java 88.88% 0 Missing and 1 partial ⚠️
...rc/main/java/org/aya/syntax/telescope/JitTele.java 0.00% 1 Missing ⚠️
Additional details and impacted files 
@@             Coverage Diff              @@
##               main    #1094      +/-   ##
============================================
+ Coverage     78.69%   78.78%   +0.08%     
- Complexity     3176     3188      +12     
============================================
  Files           291      291              
  Lines          9764     9795      +31     
  Branches       1145     1148       +3     
============================================
+ Hits           7684     7717      +33     
+ Misses         1439     1436       -3     
- Partials        641      642       +1

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

View more details on Codecov