Skip to content

software/theia: Fix broken tests

This fixes the tests broken by !865 (merged) as mentioned here.

Merge request reports