Skip to content

feat: Integrate EduTheia landing page with separate tag parameter #57

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
CodeByNikolas wants to merge 15 commits into from
Closed

feat: Integrate EduTheia landing page with separate tag parameter #57

Show file tree
Hide file tree
Changes from 13 commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
eab99f7
feat: Integrate EduTheia landing page with separate tag parameter
CodeByNikolas Feb 5, 2026
f98c9e2
no custom
CodeByNikolas Feb 19, 2026
73c40d8
check footer for new landing apge
CodeByNikolas Feb 19, 2026
e159b25
chore: Bump theia-cloud chart to 1.3.0-next.4 (#63)
CodeByNikolas Feb 19, 2026
e5c87d2
revert: Restore proper test3 footer links (remove test URLs)
CodeByNikolas Feb 19, 2026
9083a5f
Apply suggestion from @Copilot
CodeByNikolas Feb 19, 2026
3dde7e6
chore: Trigger rebase after main branch updates
CodeByNikolas Feb 19, 2026
bfe2a7d
chore: Merge main into edutheia branch - resolve Chart.lock timestamp…
CodeByNikolas Feb 19, 2026
16cc1cb
rollen test
CodeByNikolas Feb 19, 2026
99e350e
undo rollen
CodeByNikolas Feb 19, 2026
e88558e
all envs
CodeByNikolas Feb 19, 2026
a47e4ac
restore LS
CodeByNikolas Feb 20, 2026
08d8c4c
chore: merge main into feat/edutheia-landing-page-integration and upd…
CodeByNikolas Mar 18, 2026
865a6c7
fix: correct image registry paths for operator, service and landing page
CodeByNikolas Mar 18, 2026
7ae3a08
fix: lowercase GHCR landing-page image references
CodeByNikolas Mar 18, 2026
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
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,11 @@ on:
workflow_dispatch:
inputs:
theia_cloud_tag:
description: 'Theia Cloud components tag (operator, service, landing-page). Leave empty to use the tag defined in values.yaml (no override).'
description: 'Theia Cloud components tag (operator, service). Leave empty to use the tag defined in values.yaml (no override).'
required: false
default: ''
landing_page_tag:
description: 'EduTheia landing page tag. Leave empty to use the tag defined in values.yaml (no override).'
required: false
default: ''
ide_images_tag:
Expand All @@ -46,6 +50,7 @@ jobs:
with:
environment: test1
theia_cloud_tag: ${{ inputs.theia_cloud_tag }}
landing_page_tag: ${{ inputs.landing_page_tag }}
ide_images_tag: ${{ inputs.ide_images_tag }}
helm_chart_tag: ${{ inputs.helm_chart_tag || '' }}
deploy_shared_gateway: false
Expand All @@ -64,6 +69,7 @@ jobs:
with:
environment: test2
theia_cloud_tag: ${{ inputs.theia_cloud_tag }}
landing_page_tag: ${{ inputs.landing_page_tag }}
ide_images_tag: ${{ inputs.ide_images_tag }}
helm_chart_tag: ${{ inputs.helm_chart_tag || '' }}
deploy_shared_gateway: false
Expand All @@ -82,6 +88,7 @@ jobs:
with:
environment: test3
theia_cloud_tag: ${{ inputs.theia_cloud_tag }}
landing_page_tag: ${{ inputs.landing_page_tag }}
ide_images_tag: ${{ inputs.ide_images_tag }}
helm_chart_tag: ${{ inputs.helm_chart_tag || '' }}
deploy_shared_gateway: false
Expand Down
22 changes: 17 additions & 5 deletions .github/workflows/deploy-theia.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -46,7 +46,12 @@ on:
required: true
type: string
theia_cloud_tag:
description: "Image tag for Theia Cloud components (operator, service, landing-page). Leave empty to use the tag defined in values.yaml (no override)."
description: "Image tag for Theia Cloud components (operator, service). Leave empty to use the tag defined in values.yaml (no override)."
required: false
type: string
default: ""
landing_page_tag:
description: "Image tag for EduTheia landing page. Leave empty to use the tag defined in values.yaml (no override)."
required: false
type: string
default: ""
Expand Down Expand Up @@ -229,6 +234,7 @@ 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 }}"

# Build base helm command with always-present flags
Expand All @@ -244,10 +250,16 @@ jobs:
# Only override Theia Cloud component images when a tag is explicitly provided
if [ -n "${THEIA_CLOUD_TAG}" ]; then
HELM_CMD+=(
--set theia-cloud.landingPage.image="ghcr.io/eduide/eduide-cloud/landing-page:${THEIA_CLOUD_TAG}"
--set theia-cloud.operator.image="ghcr.io/eduide/eduide-cloud/operator:${THEIA_CLOUD_TAG}"
--set theia-cloud.service.image="ghcr.io/eduide/eduide-cloud/service:${THEIA_CLOUD_TAG}"
--set "theia-cloud.preloading.images[0]=ghcr.io/eduide/eduide-cloud/landing-page:${THEIA_CLOUD_TAG}"
--set theia-cloud.operator.image="ghcr.io/eduide/eduide/operator:${THEIA_CLOUD_TAG}"
--set theia-cloud.service.image="ghcr.io/eduide/eduide/service:${THEIA_CLOUD_TAG}"
)
fi

# Only override landing page image when a tag is explicitly provided
if [ -n "${LANDING_PAGE_TAG}" ]; then
HELM_CMD+=(
--set theia-cloud.landingPage.image="ghcr.io/EduIDE/eduidec-landing-page:${LANDING_PAGE_TAG}"
--set "theia-cloud.preloading.images[0]=ghcr.io/EduIDE/eduidec-landing-page:${LANDING_PAGE_TAG}"
)
fi

Expand Down
4 changes: 2 additions & 2 deletions deployments/test1.theia-test.artemis.cit.tum.de/values.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -57,7 +57,7 @@ theia-cloud:

preloading:
images:
- ghcr.io/eduide/eduide/landing-page:latest
- ghcr.io/EduIDE/eduidec-landing-page:latest
- ghcr.io/eduide/eduide/java-17:latest
- ghcr.io/eduide/eduide/c:latest
- ghcr.io/eduide/eduide/javascript:latest
Expand All @@ -73,7 +73,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/eduide/eduide/landing-page
image: ghcr.io/EduIDE/eduidec-landing-page
# We can define a default blueprint
appDefinition: "java-17-latest"
ephemeralStorage: true
Expand Down
4 changes: 2 additions & 2 deletions deployments/test2.theia-test.artemis.cit.tum.de/values.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -57,7 +57,7 @@ theia-cloud:

preloading:
images:
- ghcr.io/eduide/eduide/landing-page:latest
- ghcr.io/EduIDE/eduidec-landing-page:latest
- ghcr.io/eduide/eduide/java-17:latest
- ghcr.io/eduide/eduide/c:latest
- ghcr.io/eduide/eduide/javascript:latest
Expand All @@ -73,7 +73,7 @@ theia-cloud:

landingPage:
# We use the try now page as landing page since the default does not support multiple apps -> https://github.com/eclipsesource/theia-cloud/discussions/301
image: ghcr.io/eduide/eduide/landing-page
image: ghcr.io/EduIDE/eduidec-landing-page
# We can define a default blueprint
appDefinition: "java-17-latest"
ephemeralStorage: true
Expand Down
12 changes: 6 additions & 6 deletions deployments/test3.theia-test.artemis.cit.tum.de/values.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -62,15 +62,15 @@ theia-cloud:

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

imagePullPolicy: Always

Expand All @@ -80,7 +80,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/eduide/eduide/landing-page
image: ghcr.io/EduIDE/eduidec-landing-page
# We can define a default blueprint

# 1. The actual image data (Must be a Base64 encoded string)
Expand Down Expand Up @@ -141,9 +141,9 @@ theia-appdefinitions:
apps:
- name: java-ls-test
image: ghcr.io/eduide/eduide/theia-no-ls
imageTag: pr-46
imageTag: pr-80
options:
langserver-image: ghcr.io/eduide/eduide/langserver-java:pr-46
langserver-image: ghcr.io/eduide/eduide/langserver-java:pr-80

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
4 changes: 2 additions & 2 deletions deployments/theia-staging.artemis.cit.tum.de/values.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -56,7 +56,7 @@ theia-cloud:

preloading:
images:
- ghcr.io/eduide/eduide/landing-page:latest
- ghcr.io/EduIDE/eduidec-landing-page:latest
- ghcr.io/eduide/eduide/java-17:latest
- ghcr.io/eduide/eduide/c:latest
- ghcr.io/eduide/eduide/javascript:latest
Expand All @@ -72,7 +72,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/eduide/eduide/landing-page
image: ghcr.io/EduIDE/eduidec-landing-page
logoFileExtension: "png"
# We can define a default blueprint
appDefinition: "java-17-latest"
Expand Down
4 changes: 2 additions & 2 deletions deployments/theia.artemis.cit.tum.de/values.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -56,7 +56,7 @@ theia-cloud:

preloading:
images:
- ghcr.io/eduide/eduide/landing-page:latest
- ghcr.io/EduIDE/eduidec-landing-page:latest
- ghcr.io/eduide/eduide/java-17:latest
- ghcr.io/eduide/eduide/c:latest
- ghcr.io/eduide/eduide/javascript:latest
Expand All @@ -72,7 +72,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/eduide/eduide/landing-page
image: ghcr.io/EduIDE/eduidec-landing-page
logoFileExtension: "png"
# We can define a default blueprint
appDefinition: "java-17-latest"
Expand Down
Loading