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

feat: Support configuring doc.source.disable to disable documentation reading #517

Merged
merged 1 commit into from
Nov 12, 2023

Conversation

tangcent
Copy link
Owner

No description provided.

@tangcent tangcent added the type: enhancement New feature or request label Nov 12, 2023
Copy link

codecov bot commented Nov 12, 2023

Codecov Report

Merging #517 (9a65c2d) into master (a249e38) will increase coverage by 0.021%.
The diff coverage is 72.727%.

Additional details and impacted files

Impacted file tree graph

@@               Coverage Diff               @@
##              master      #517       +/-   ##
===============================================
+ Coverage     63.083%   63.104%   +0.021%     
- Complexity      1888      1889        +1     
===============================================
  Files            211       212        +1     
  Lines          10166     10188       +22     
  Branches        2471      2480        +9     
===============================================
+ Hits            6413      6429       +16     
- Misses          2438      2439        +1     
- Partials        1315      1320        +5     
Flag Coverage Δ
unittests 63.104% <72.727%> (+0.021%) ⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

Files Coverage Δ
...kotlin/com/itangcent/idea/psi/DisableDocSupport.kt 72.727% <72.727%> (ø)

Continue to review full report in Codecov by Sentry.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update a249e38...9a65c2d. Read the comment docs.

@tangcent tangcent merged commit aa54e70 into master Nov 12, 2023
10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type: enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant