mirror of
https://github.com/sbt/sbt.git
synced 2026-09-08 19:16:16 +02:00
[BSP]Do not fire `build/publishDiagnostics` if there are (and were) no problems
[BSP]Do not fire `build/publishDiagnostics` if there are (and were) no problems