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

Generate coverage reports in temporary directory #71

Merged
merged 1 commit into from
Apr 1, 2022

Conversation

fmeum
Copy link
Owner

@fmeum fmeum commented Apr 1, 2022

This ensures that rules_jni can generate coverage even if multiple Java
binaries use it simultaneously or it is included twice due to shading.

This ensures that rules_jni can generate coverage even if multiple Java
binaries use it simultaneously or it is included twice due to shading.
@fmeum fmeum merged commit e74df19 into main Apr 1, 2022
@fmeum fmeum deleted the temporary-coverage-dir branch April 1, 2022 16:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant