Skip to content

chore: cleanup coverage directories#24

Merged
kgryte merged 1 commit into
mainfrom
cleanup-coverage-directories
May 31, 2026
Merged

chore: cleanup coverage directories#24
kgryte merged 1 commit into
mainfrom
cleanup-coverage-directories

Conversation

@stdlib-bot
Copy link
Copy Markdown
Contributor

This PR

  • removes all coverage directories that do not correspond anymore to packages in the main development repository.

Signed-off-by: stdlib-bot <82920195+stdlib-bot@users.noreply.github.com>
@kgryte kgryte merged commit 370f04e into main May 31, 2026
1 check passed
@kgryte kgryte deleted the cleanup-coverage-directories branch May 31, 2026 23:26
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.

2 participants