improvement: fetch missing dependency sources#5819

Merged

tgodzik merged 5 commits intoscalameta:mainfrom kasiaMarek:fetch-deps-sources

Dec 12, 2023

+350-29

Commits on Nov 9, 2023

improvement: fetch missing dependency sources
kasiaMarek
committed

Commits on Nov 21, 2023

add preferred dialect to workspace symbol search
kasiaMarek
committed

Commits on Nov 22, 2023

add timeout to fetching dependency sources
kasiaMarek
committed

Commits on Nov 24, 2023

correctly fetch sbt plugins
kasiaMarek
committed

Commits on Dec 11, 2023

fail fast if repositories cannot be resolved
kasiaMarek
committed