Search results

logo mounting überschreiben andere repo lösen…

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#45 In ls1intum/theia-deployment;

· CodeByNikolas opened on Jan 14, 2026

Add the language server images as options for the langing page + preloading + appdefinition

Status: Open.

#29 In ls1intum/theia-deployment;

· CodeByNikolas opened on Dec 1, 2025

Integrate Shared cache node into theia-cloud-combined

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#15 In ls1intum/theia-deployment;

· KevinGruber2001 opened on Nov 16, 2025

Create Default PR Template

Status: Open.

#14 In ls1intum/theia-deployment;

· Mtze opened on Nov 12, 2025

Add workflow to automatically deploy PRs to the theia-test cluster

Status: Open.

#4 In ls1intum/theia-deployment;

· Mtze opened on Jul 10, 2025

Add Documentation how the deployment works to the Readme

Status: Open.

#3 In ls1intum/theia-deployment;

· Mtze opened on Jul 10, 2025

Add github workflow to deploy theia to the k8s cluster

Status: Open.

#2 In ls1intum/theia-deployment;

· Mtze opened on Jul 10, 2025