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

Update coverlet version to fix coverage exceptions #37217

Merged
merged 2 commits into from
May 31, 2020
Merged

Conversation

ViktorHofer
Copy link
Member

Changelog: https://github.com/coverlet-coverage/coverlet/blob/master/Documentation/Changelog.md#release-date-2020-05-30

-Fix 'The process cannot access the file...because it is being used by another process' due to double flush for collectors driver #coverlet-coverage/coverlet#835

cc @MarcoRossignoli

Changelog: https://github.com/coverlet-coverage/coverlet/blob/master/Documentation/Changelog.md#release-date-2020-05-30

-Fix 'The process cannot access the file...because it is being used by another process' due to double flush for collectors driver #coverlet-coverage/coverlet#835
@ghost
Copy link

ghost commented May 31, 2020

Tagging subscribers to this area: @ViktorHofer
Notify danmosemsft if you want to be subscribed.

@jkotas jkotas merged commit 83aed2c into master May 31, 2020
@jkotas jkotas deleted the ViktorHofer-coverlet branch May 31, 2020 21:49
@ghost ghost locked as resolved and limited conversation to collaborators Dec 9, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants