Skip to content

deps: Set PrettyTables@3#40

Merged
curtd merged 3 commits into
mainfrom
update_pretty_tables
Dec 12, 2025
Merged

deps: Set PrettyTables@3#40
curtd merged 3 commits into
mainfrom
update_pretty_tables

Conversation

@curtd

@curtd curtd commented Dec 12, 2025

Copy link
Copy Markdown
Owner

fix(show_diff): Fix minor max num rows check

fix(`show_diff`): Fix minor max num rows check
@coveralls

coveralls commented Dec 12, 2025

Copy link
Copy Markdown

Coverage Status

coverage: 88.134% (-0.6%) from 88.777%
when pulling 1ccdcf2 on update_pretty_tables
into 0100e23 on main.

@curtd curtd merged commit 6424cb0 into main Dec 12, 2025
5 of 7 checks passed
@curtd curtd deleted the update_pretty_tables branch December 12, 2025 00:56
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