hey folks, in my ongoing efforts to get Theia images to properly build, I noticed a new problem: During the download process, some Ubuntu ports cannot be downloaded during `apt update` and `apt install`. The attached screenshot shows...Yannik Schmidt
Hey folks, since a couple of days, some of my build jobs are failing due to awkward reasons: Sometimes build tools were missing, sometimes GCC failed to work. After Robert and I investigated further, we stopped the one runner-serv...Yannik Schmidt
Hey folks, for my master's thesis I need access to LimeSurvey in order to poll and analyze the opinion of students. Could you please help me out here and provide me with access to the chair's LimeSurvey system?
as we changed a couple of things in Theia and the architecture, I need the TS9 config to reflect those. The ansible repo is not widely in use yet I think, here is the `config/application-theia.yml` I'd like to have. ...Yannik Schmidt
Hey folks, I just noticed that a build pipeline fail due to rate limiting from Docker's side. ``` ERROR: failed to solve: node:18-bullseye: failed to resolve source metadata for docker.io/library/node:18-bullseye: failed to copy:...Yannik Schmidt
Hey folks, I hope you all had a great vacation 😊 Unfortunately, I am facing some issues with cascading deletion on the `theia-dev` cluster ([https://k8s-theia-cp.ase.cit.tum.de:6443|https://k8s-theia-cp.ase.cit.t/]). Even though t...Yannik Schmidt
During the build process of one of the Theia repos, errors occur that seem to be related to ill-configured or missing network. Could you please take a look at it? ☺️ The run in question can be found here: [https://github.com/ls1in...Yannik Schmidt
unfortunately [~ga58roj] was not able to create a subdomain including asterisks for me today. For my MA, I need `*.webview.instance.theia-yannik.k8s.ase.cit.tum.de` to link to the same address as `instance.theia-yan...Yannik Schmidt