hilla
hilla copied to clipboard
Mention the specific issue of Intellij IDEA in CONTRIBUTION.md
New tests being designed in #387 could fail during running the IDEA built-in coverage utility because of internal aspects of how this tool works. IDEA has an issue that also contains a workaround for it. We should probably mention it in the CONTRIBUTION.md.