software/theia: Upgrade to Theia 1.13.0

5 jobs for kvm-drives in 0 seconds
Status Job ID Name Coverage
  External
passed SlapOS.SlapRunner.ResilienceTest-Master

00:22:25

failed SlapOS.SlapRunner.ResilienceTest-Master.ERP5

00:15:54

failed SlapOS.SoftwareReleases.IntegrationTest-Master.Python2

04:57:27

failed SlapOS.SoftwareReleases.IntegrationTest-Master.Python3

03:51:00

passed Wendelin.StandaloneDeploymentScriptTest-Debian.Buster.Master