Skip to content

chore: minor improvements#1185

Merged
chimurai merged 1 commit intomasterfrom
minor-improvements
Apr 4, 2026
Merged

chore: minor improvements#1185
chimurai merged 1 commit intomasterfrom
minor-improvements

Conversation

@chimurai
Copy link
Copy Markdown
Owner

@chimurai chimurai commented Apr 4, 2026

No description provided.

@chimurai chimurai enabled auto-merge (squash) April 4, 2026 19:21
@chimurai chimurai merged commit 7c0cb83 into master Apr 4, 2026
11 checks passed
@chimurai chimurai deleted the minor-improvements branch April 4, 2026 19:21
@coveralls
Copy link
Copy Markdown

Coverage Status

coverage: 94.012%. remained the same
when pulling 8fdf535 on minor-improvements
into 938aafe on master.

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