Skip to content

Conversation

@oyamad
Copy link
Member

@oyamad oyamad commented Jul 6, 2025

Address the 3rd item in #672

@coveralls
Copy link

Coverage Status

coverage: 92.72%. remained the same
when pulling d0596f9 on doc-badges
into 6fd8955 on main.

@oyamad oyamad added the ready label Jul 6, 2025
@mmcky
Copy link
Contributor

mmcky commented Jul 20, 2025

thanks @oyamad

@mmcky mmcky merged commit a3f91d4 into main Jul 20, 2025
11 checks passed
@mmcky mmcky deleted the doc-badges branch July 20, 2025 23:17
@mmcky mmcky mentioned this pull request Jul 21, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants