Skip to content
Closed
Show file tree
Hide file tree
Changes from 3 commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 8 additions & 1 deletion .github/workflows/deploy-pr.yml
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,11 @@ on:
- test2
- test3
theia_cloud_tag:
description: 'Theia Cloud components tag (operator, service, landing-page)'
description: 'Theia Cloud components tag (operator, service)'
required: false
default: 'latest'
landing_page_tag:
description: 'EduTheia landing page tag'
required: false
default: 'latest'
ide_images_tag:
Expand All @@ -47,6 +51,7 @@ jobs:
with:
environment: test1
theia_cloud_tag: ${{ inputs.theia_cloud_tag || 'latest' }}
landing_page_tag: ${{ inputs.landing_page_tag || 'latest' }}
ide_images_tag: ${{ inputs.ide_images_tag || 'latest' }}
helm_chart_branch: ${{ inputs.helm_chart_branch || '' }}
secrets: inherit
Expand All @@ -61,6 +66,7 @@ jobs:
with:
environment: test2
theia_cloud_tag: ${{ inputs.theia_cloud_tag || 'latest' }}
landing_page_tag: ${{ inputs.landing_page_tag || 'latest' }}
ide_images_tag: ${{ inputs.ide_images_tag || 'latest' }}
helm_chart_branch: ${{ inputs.helm_chart_branch || '' }}
secrets: inherit
Expand All @@ -75,6 +81,7 @@ jobs:
with:
environment: test3
theia_cloud_tag: ${{ inputs.theia_cloud_tag || 'latest' }}
landing_page_tag: ${{ inputs.landing_page_tag || 'latest' }}
ide_images_tag: ${{ inputs.ide_images_tag || 'latest' }}
helm_chart_branch: ${{ inputs.helm_chart_branch || '' }}
secrets: inherit
14 changes: 10 additions & 4 deletions .github/workflows/deploy-theia.yml
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,12 @@ on:
required: true
type: string
theia_cloud_tag:
description: "Image tag for Theia Cloud components (operator, service, landing-page)"
description: "Image tag for Theia Cloud components (operator, service)"
required: false
type: string
default: "latest"
landing_page_tag:
description: "Image tag for EduTheia landing page"
required: false
type: string
default: "latest"
Expand Down Expand Up @@ -164,23 +169,24 @@ jobs:

# Define image tag variables for cleaner command
THEIA_CLOUD_TAG="${{ inputs.theia_cloud_tag }}"
LANDING_PAGE_TAG="${{ inputs.landing_page_tag }}"
IDE_IMAGES_TAG="${{ inputs.ide_images_tag }}"

# Install/upgrade the Helm chart with all configuration
# --install: Create if it doesn't exist, upgrade if it does
# --create-namespace: Create the namespace if it doesn't exist
# Image tags controlled by two variables: THEIA_CLOUD_TAG and IDE_IMAGES_TAG
# Image tags controlled by three variables: THEIA_CLOUD_TAG, LANDING_PAGE_TAG, and IDE_IMAGES_TAG
helm upgrade --install theia-cloud-combined ./charts/theia-cloud-combined \
--namespace ${{ vars.NAMESPACE }} \
--create-namespace \
-f ${{ vars.HELM_VALUES_PATH }}/values.yaml \
--set theia-certificates.wildcardCertificate="$(cat wildcard.crt)" \
--set theia-certificates.wildcardKey="$(cat wildcard.key)" \
--set theia-cloud.keycloak.cookieSecret="${{ secrets.THEIA_KEYCLOAK_COOKIE_SECRET }}" \
--set theia-cloud.landingPage.image="ghcr.io/ls1intum/theia/landing-page:${THEIA_CLOUD_TAG}" \
--set theia-cloud.landingPage.image="ghcr.io/ls1intum/edutheia-landing-page:${LANDING_PAGE_TAG}" \
--set theia-cloud.operator.image="ghcr.io/ls1intum/theia/operator:${THEIA_CLOUD_TAG}" \
--set theia-cloud.service.image="ghcr.io/ls1intum/theia/service:${THEIA_CLOUD_TAG}" \
--set "theia-cloud.preloading.images[0]=ghcr.io/ls1intum/theia/landing-page:${THEIA_CLOUD_TAG}" \
--set "theia-cloud.preloading.images[0]=ghcr.io/ls1intum/edutheia-landing-page:${LANDING_PAGE_TAG}" \
--set "theia-cloud.preloading.images[1]=ghcr.io/ls1intum/theia/java-17:${IDE_IMAGES_TAG}" \
Copy link

Copilot AI Feb 19, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This change makes the reusable deploy workflow always deploy ghcr.io/ls1intum/edutheia-landing-page (and preloads it) for any environment that calls this workflow (including staging + prod). The PR description implies rollout/testing is focused on test3; if you want a staged rollout, consider making the landing page image/repo configurable per environment (values.yaml) and only overriding it for test3 until validated.

Copilot uses AI. Check for mistakes.
--set "theia-cloud.preloading.images[2]=ghcr.io/ls1intum/theia/c:${IDE_IMAGES_TAG}" \
--set "theia-cloud.preloading.images[3]=ghcr.io/ls1intum/theia/javascript:${IDE_IMAGES_TAG}" \
Expand Down
37 changes: 13 additions & 24 deletions deployments/test3.theia-test.artemis.cit.tum.de/values.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -52,15 +52,13 @@ theia-cloud:

preloading:
images:
- ghcr.io/ls1intum/theia/landing-page:latest
- ghcr.io/ls1intum/edutheia-landing-page:latest
- ghcr.io/ls1intum/theia/java-17:latest
- ghcr.io/ls1intum/theia/c:latest
- ghcr.io/ls1intum/theia/javascript:latest
- ghcr.io/ls1intum/theia/ocaml:latest
- ghcr.io/ls1intum/theia/rust:latest
- ghcr.io/ls1intum/theia/python:latest
- ghcr.io/ls1intum/theia/theia-no-ls:pr-46
- ghcr.io/ls1intum/theia/langserver-java:pr-46

imagePullPolicy: Always

Expand All @@ -70,7 +68,7 @@ theia-cloud:

landingPage:
# We use the try now page as landing page since the default does not support mutliple apps -> https://github.com/eclipsesource/theia-cloud/discussions/301
image: ghcr.io/ls1intum/theia/landing-page
image: ghcr.io/ls1intum/edutheia-landing-page
# We can define a default blueprint

# 1. The actual image data (Must be a Base64 encoded string)
Expand All @@ -95,25 +93,23 @@ theia-cloud:
label: Python
rust-latest:
label: Rust
java-ls-test:
label: Java LS Test
infoTitle: "🚀 Welcome to Test3 IDE Environment"
infoText: "This is a testing environment for Theia Cloud. Select your programming language and start coding in seconds!"
loadingText: "⚡ Setting up your development workspace..."
infoTitle: "🚀 Welcome to Test3 IDE Environment - Where we move fast and break things - mostly breaks things.. 🤠🤠"
infoText: "This is a testing environment for Theia Cloud. Should be fun to use, but don't expect too much."
loadingText: "Ich lade grade, geb mir mal ne Sekunde"
footerLinks:
attribution:
text: "Built by TUM LS1 Team 👨‍💻"
url: "https://aet.cit.tum.de/"
text: "Rollen"
url: "https://www.youtube.com/watch?v=dQw4w9WgXcQ"
version: "Test3-v1.0.0"
bugReport:
text: "Report a bug 🐛"
url: "https://github.com/ls1intum/theia-cloud/issues"
text: "Rollen"
url: "https://www.youtube.com/watch?v=dQw4w9WgXcQ"
featureRequest:
text: "Request a feature ✨"
url: "https://github.com/ls1intum/theia-cloud/issues"
text: "Rollen"
url: "https://www.youtube.com/watch?v=dQw4w9WgXcQ"
about:
text: "About"
url: "https://aet.cit.tum.de/"
text: "Rollen"
url: "https://www.youtube.com/watch?v=dQw4w9WgXcQ"

keycloak:
enable: true
Expand All @@ -127,13 +123,6 @@ theia-cloud:
# -- The client-id. Only has to be specified when enable: true
clientId: "theia-test"

theia-appdefinitions:
apps:
- name: java-ls-test
image: ghcr.io/ls1intum/theia/theia-no-ls
imageTag: pr-46
options:
langserver-image: ghcr.io/ls1intum/theia/langserver-java:pr-46

monitoring:
targetNamespaces:
Comment on lines 139 to 149
Copy link

Copilot AI Feb 19, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The PR description doesn’t mention removing the entire theia-appdefinitions block (including the java-ls-test app) from test3. If that app is still needed for validating langserver behavior, this change will remove the server-side app definition and break those test sessions; please confirm it’s intentional or update the PR description accordingly.

Copilot uses AI. Check for mistakes.
Expand Down