Skip to content

Conversation

adpi2
Copy link
Member

@adpi2 adpi2 commented Jun 25, 2022

Backport of #6929

  • do not publish bsp diagnostics if there were and there are no problems
  • publish diagnostics if problems needs to be updated

* do not publish bsp diagnostics if there were and there are no problems
* publish diagnostics if problems needs to be updated
@adpi2 adpi2 changed the title [1.7.6] Backport #6929: Fix publishing BSP diagnostics [1.7.x] Backport #6929: Fix publishing BSP diagnostics Jun 25, 2022
@eed3si9n eed3si9n merged commit 2fc446b into sbt:1.7.x Jun 25, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants