Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add re-using->reusing #3443

Closed
wants to merge 4 commits into from
Closed

Conversation

korverdev
Copy link
Contributor

No description provided.

@korverdev
Copy link
Contributor Author

Something seems to be up with the code coverage check. This PR is just adding more misspellings, so shouldn't impact code coverage one way or the other.

@DimitriPapadopoulos DimitriPapadopoulos added the dictionary Changes to the dictionary label Jun 4, 2024
@DimitriPapadopoulos
Copy link
Collaborator

About the CI error, I guess codecov has been updated under the hood, changing the metrics and the results at the project level. Hopefully they'll push a new version soon that will fix the bug.

@DimitriPapadopoulos
Copy link
Collaborator

@korverdev Could you rebase against master? We forced a merge in another PR, hopefully resetting project-level coverage metrics.

@korverdev
Copy link
Contributor Author

@DimitriPapadopoulos Accidentally did a merge instead, but that seems to have cleared it up. Thanks for your help!

@korverdev
Copy link
Contributor Author

I stand corrected. Looks like that check took a bit longer than expected to appear. I'll close this PR and reopen off a new branch later today.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dictionary Changes to the dictionary
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants