Skip to content

Correct documentation. - #1319

Merged
carlosggarcia merged 1 commit into
masterfrom
issue1264
Oct 26, 2026
Merged

carlosggarcia merged 1 commit into
masterfrom
issue1264

Conversation

@aferte

@aferte aferte commented Oct 26, 2026

Copy link
Copy Markdown

No description provided.

@aferte
aferte requested a review from carlosggarcia October 26, 2026 14:55
@coveralls

coveralls commented Oct 26, 2026 •

Copy link
Copy Markdown

Coverage Report for CI Build 40344194874

Coverage remained the same at 97.471%

Details

  • Coverage remained the same as the base build.
  • Patch coverage: No coverable lines changed in this PR.
  • No coverage regressions found.

Uncovered Changes

No uncovered changes found.

Coverage Regressions

No coverage regressions found.


Coverage Stats

Coverage Status
Relevant Lines: 6801
Covered Lines: 6629
Line Coverage: 97.47%
Coverage Strength: 4.87 hits per line

💛 - Coveralls

@carlosggarcia carlosggarcia left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

LGTM

@carlosggarcia
carlosggarcia merged commit 7522ada into master Oct 26, 2026
7 of 12 checks passed
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.

3 participants