Skip to content

Expose deploy inputs and pin staging/prod images #87

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

Merged
CodeByNikolas merged 6 commits into from
Mar 25, 2026
Merged

Expose deploy inputs and pin staging/prod images #87

Show file tree
Hide file tree
Changes from 2 commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
ed83853
Expose deploy inputs and pin staging/prod images
CodeByNikolas Mar 25, 2026
1312aac
Set test conversion webhook images to latest
CodeByNikolas Mar 25, 2026
7df05de
Pin staging/prod IDE images and document release flow
CodeByNikolas Mar 25, 2026
ffbd8c4
Split landing page tag from IDE image tags
CodeByNikolas Mar 25, 2026
a866ead
Remove appdefinition tag override from env values
CodeByNikolas Mar 25, 2026
bcc96f7
Restore spacing before monitoring blocks
CodeByNikolas Mar 25, 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
2 changes: 1 addition & 1 deletion .github/workflows/deploy-pr.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -48,7 +48,7 @@ on:
clean_install:
description: 'Clean Install: If true, perform namespace-scoped cleanup before install (delete sessions/workspaces, appdefinitions, deployments, daemonsets, statefulsets, PVCs).'
required: false
default: false
default: true
type: boolean

jobs:
Expand Down
10 changes: 10 additions & 0 deletions .github/workflows/deploy-production.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -47,6 +47,15 @@ on:
description: 'Runner backend to use (self-hosted-buildkit or github-runners)'
required: false
default: 'self-hosted-buildkit'
type: choice
options:
- self-hosted-buildkit
- github-runners
clean_install:
description: 'Clean Install: If true, perform namespace-scoped cleanup before install (delete sessions/workspaces, appdefinitions, deployments, daemonsets, statefulsets, PVCs).'
required: false
default: false
type: boolean

jobs:
deploy:
Expand All @@ -57,6 +66,7 @@ jobs:
with:
environment: theia-prod
execution_mode: ${{ inputs.execution_mode || 'self-hosted-buildkit' }}
clean_install: ${{ github.event_name == 'workflow_dispatch' && (inputs.clean_install || false) }}
deploy_shared_gateway: true
shared_gateway_values_file: deployments/shared-gateway-prod/values.yaml
shared_gateway_namespace: gateway-system
Expand Down
10 changes: 10 additions & 0 deletions .github/workflows/deploy-staging.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -38,6 +38,15 @@ on:
description: 'Runner backend to use (self-hosted-buildkit or github-runners)'
required: false
default: 'self-hosted-buildkit'
type: choice
options:
- self-hosted-buildkit
- github-runners
clean_install:
description: 'Clean Install: If true, perform namespace-scoped cleanup before install (delete sessions/workspaces, appdefinitions, deployments, daemonsets, statefulsets, PVCs).'
required: false
default: false
type: boolean

jobs:
deploy:
Expand All @@ -48,6 +57,7 @@ jobs:
with:
environment: theia-staging
execution_mode: ${{ inputs.execution_mode || 'self-hosted-buildkit' }}
clean_install: ${{ github.event_name == 'workflow_dispatch' && (inputs.clean_install || false) }}
deploy_shared_gateway: true
shared_gateway_values_file: deployments/shared-gateway/values.yaml
shared_gateway_namespace: gateway-system
Expand Down
2 changes: 1 addition & 1 deletion deployments/test1.theia-test.artemis.cit.tum.de/theia-crds-helm-values.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,4 +2,4 @@
clusterIssuer: theia-cloud-selfsigned-issuer

conversion:
image: ghcr.io/eduide/eduide-cloud/conversion-webhook:pr-70
image: ghcr.io/eduide/eduide-cloud/conversion-webhook:latest
2 changes: 1 addition & 1 deletion deployments/test2.theia-test.artemis.cit.tum.de/theia-crds-helm-values.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,4 +2,4 @@
clusterIssuer: theia-cloud-selfsigned-issuer

conversion:
image: ghcr.io/eduide/eduide-cloud/conversion-webhook:pr-70
image: ghcr.io/eduide/eduide-cloud/conversion-webhook:latest
2 changes: 1 addition & 1 deletion deployments/test3.theia-test.artemis.cit.tum.de/theia-crds-helm-values.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,4 +2,4 @@
clusterIssuer: theia-cloud-selfsigned-issuer

conversion:
image: ghcr.io/eduide/eduide-cloud/conversion-webhook:pr-70
image: ghcr.io/eduide/eduide-cloud/conversion-webhook:latest
2 changes: 1 addition & 1 deletion deployments/theia-staging.artemis.cit.tum.de/theia-crds-helm-values.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,4 +2,4 @@
clusterIssuer: theia-cloud-selfsigned-issuer

conversion:
image: ghcr.io/eduide/eduide-cloud/conversion-webhook:pr-70
image: ghcr.io/eduide/eduide-cloud/conversion-webhook:latest-dfe0d09
12 changes: 6 additions & 6 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 @@ -42,17 +42,17 @@ theia-cloud:
interval: 3

operator:
#image: ghcr.io/eduide/eduide-cloud/operator:latest
image: ghcr.io/eduide/eduide-cloud/operator:latest-dfe0d09
#eagerStart: false
replicas: 1
sessionsPerUser: 10
storageClassName: csi-rbd-sc

# service:
# image: ghcr.io/eduide/eduide-cloud/service:latest
# adminApiTokenSecret:
# name: service-admin-api-token
# key: ADMIN_API_TOKEN
service:
image: ghcr.io/eduide/eduide-cloud/service:latest-dfe0d09
adminApiTokenSecret:
name: service-admin-api-token
key: ADMIN_API_TOKEN

# Preload list indices 0–10 must match deploy-theia.yml --set overrides when tags are passed.
# Index 11 is oauth2-proxy (distroless); the workflow does not override it.
Expand Down
2 changes: 1 addition & 1 deletion deployments/theia.artemis.cit.tum.de/theia-crds-helm-values.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,4 +2,4 @@
clusterIssuer: theia-cloud-selfsigned-issuer

conversion:
image: ghcr.io/eduide/eduide-cloud/conversion-webhook:pr-70
image: ghcr.io/eduide/eduide-cloud/conversion-webhook:latest-dfe0d09
12 changes: 6 additions & 6 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 @@ -42,17 +42,17 @@ theia-cloud:
interval: 3

operator:
#image: ghcr.io/eduide/eduide-cloud/operator:latest
image: ghcr.io/eduide/eduide-cloud/operator:latest-dfe0d09
#eagerStart: false
replicas: 3
sessionsPerUser: 10
storageClassName: csi-rbd-sc

# service:
# image: ghcr.io/eduide/eduide-cloud/service:latest
# adminApiTokenSecret:
# name: service-admin-api-token
# key: ADMIN_API_TOKEN
service:
image: ghcr.io/eduide/eduide-cloud/service:latest-dfe0d09
adminApiTokenSecret:
name: service-admin-api-token
key: ADMIN_API_TOKEN

# Preload list indices 0–10 must match deploy-theia.yml --set overrides when tags are passed.
# Index 11 is oauth2-proxy (distroless); the workflow does not override it.
Expand Down
Loading