Skip to content

Theia: fix installation

Jérome Perrin requested to merge fix/theia_test_failures into master

This addresses both :

Edited by Jérome Perrin

Merge request reports