bugfix: Check if tests namespace is enabled#1245

Merged

tgodzik merged 2 commits intoscalameta:mainfrom

tgodzik:support-theia

Dec 5, 2022

Commits on Dec 2, 2022

bugfix: Check if tests namespace is enabled
tgodzik
committed

Commits on Dec 5, 2022

Improve information about the issue in Theia

tgodzik
and
kpodsiad
committed