diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/renovate.json | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/renovate.json b/.github/renovate.json index cf0bf130881..3f4f7efe610 100644 --- a/.github/renovate.json +++ b/.github/renovate.json @@ -35,6 +35,7 @@ "org.sonarsource.html:sonar-html-plugin", "org.sonarsource.jacoco:sonar-jacoco-plugin", "org.sonarsource.java:sonar-java-plugin", + "org.sonarsource.java:sonar-java-symbolic-execution-plugin", "org.sonarsource.javascript:sonar-javascript-plugin", "org.sonarsource.php:sonar-php-plugin", "org.sonarsource.python:sonar-python-plugin", |