mirror of
https://github.com/sbt/sbt.git
synced 2026-09-03 08:34:34 +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