Closed donat closed 5 months ago
This pull request adds supports for problems reported via the Problems API in Gradle. Since the Problems API is an incubating feature, we added an option to opt-out from the integration in the preferences dialog.
This pull request adds supports for problems reported via the Problems API in Gradle. Since the Problems API is an incubating feature, we added an option to opt-out from the integration in the preferences dialog.