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
RUN: Fix Coverage runner for projects located on WSL file system #7906
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Works with WSL toolchain with project in WSL filesystem and with Windows filesystem
But it doesn't work with local filesystem and local toolchain on Windows
But looks like it doesn't work with stable plugin as well
f1f4a28
to
c0f8c21
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Works for me
3585a2c
to
001902b
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
bors r=Undin
7906: RUN: Fix Coverage runner for projects located on WSL file system r=Undin a=mchernyavsky Fixes #7896. changelog: Fix `Run with Coverage` for projects located on WSL file system Co-authored-by: mchernyavsky <chernyavsky.mikhail@gmail.com> Co-authored-by: mhernyavsky <chernyavsky.mikhail@gmail.com>
001902b
to
69589ad
Compare
Canceled. |
bors r=Undin |
7906: RUN: Fix Coverage runner for projects located on WSL file system r=Undin a=mchernyavsky Fixes #7896. changelog: Fix `Run with Coverage` for projects located on WSL file system Co-authored-by: mchernyavsky <chernyavsky.mikhail@gmail.com> Co-authored-by: mhernyavsky <chernyavsky.mikhail@gmail.com>
69589ad
to
ca54a26
Compare
Canceled. |
bors r=Undin |
Build succeeded: |
Fixes #7896.
changelog: Fix
Run with Coverage
for projects located on WSL file system