Skip to content
GitLab

Theia: fix installation

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

This addresses both :

  • some random failures we sometimes have when installing python-language-server fail
  • caddy no longer being installed here since !821 (merged)
Edited by Jérome Perrin
GitLab Nexedi Edition | About GitLab | About Nexedi | 沪ICP备2021021310号-2 | 沪ICP备2021021310号-7