Update libs/build/sonarlint and plugins#60

Merged

philippefichet merged 9 commits intomasterfrom

Oct 28, 2023

Commits on Oct 23, 2023

Update libs/build/sonarlint and plugins
philippefichet
committed

Commits on Oct 25, 2023

Fix github action with duplicate source jar
philippefichet
committed

Commits on Oct 28, 2023