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

index module name length as separate field #1206

Merged
merged 1 commit into from
May 1, 2024

Conversation

haarg
Copy link
Member

@haarg haarg commented Apr 30, 2024

No description provided.

@haarg haarg force-pushed the haarg/index-documentation-length branch from 78c4c18 to eb72bfe Compare April 30, 2024 20:23
Copy link

codecov bot commented Apr 30, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 60.05%. Comparing base (9e21623) to head (efddf49).

Additional details and impacted files
@@            Coverage Diff             @@
##           master    #1206      +/-   ##
==========================================
+ Coverage   60.03%   60.05%   +0.02%     
==========================================
  Files         168      168              
  Lines        4506     4509       +3     
  Branches      646      646              
==========================================
+ Hits         2705     2708       +3     
  Misses       1571     1571              
  Partials      230      230              

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

@haarg haarg force-pushed the haarg/index-documentation-length branch from eb72bfe to 232fbde Compare May 1, 2024 00:26
@oalders
Copy link
Member

oalders commented May 1, 2024

Tidy error

@haarg haarg force-pushed the haarg/index-documentation-length branch from 232fbde to efddf49 Compare May 1, 2024 05:27
@haarg haarg merged commit 9d7af29 into master May 1, 2024
3 checks passed
@haarg haarg deleted the haarg/index-documentation-length branch May 1, 2024 15:14
@haarg haarg mentioned this pull request Sep 17, 2024
25 tasks
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