Skip to content

chore: cleanup coverage directories#26

Open
stdlib-bot wants to merge 1 commit into
mainfrom
cleanup-coverage-directories
Open

chore: cleanup coverage directories#26
stdlib-bot wants to merge 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>
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