Commit bfa9ab9d authored by Jérome Perrin's avatar Jérome Perrin

Theia: fix installation

This addresses both :
 - some random failures we sometimes have when installing `python-language-server` fail
 - caddy no longer being installed here since !821

See merge request !828
parents f67aed1c f56c476a
Pipeline #11800 failed with stage