Merge pull request #8143 from rtyley/patch-1

This commit is contained in:
eugene yokota 2025-05-30 09:31:01 -04:00 committed by GitHub
commit a0ed4d9847
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions

View File

@ -44,6 +44,7 @@ object LintUnused {
serverConnectionType,
serverIdleTimeout,
shellPrompt,
sonaDeploymentName,
),
includeLintKeys := Set(
scalacOptions,