From 55c8aab45aff93db28aa8443d376378445c81e44 Mon Sep 17 00:00:00 2001 From: Matthias Linhuber Date: Fri, 25 Sep 2026 11:32:17 +0200 Subject: [PATCH] chore(production): chart 2.3.0, which pins the IDE images to EduIDE 1.3.0 Bonn, Mannheim and TUM production move to chart 2.3.0, whose appVersion is 1.3.0, so every IDE image lands on the tags that release published. Mannheim's versions.ide pin goes with it. It named pr-170 because thm-java-25 was an unmerged pull request and no numbered release published it; #170 merged and 1.3.0 is the first release that does, which is exactly the condition the comment named for dropping it. Co-Authored-By: Claude Opus 5 (1M context) --- environments/bonn.eduide.aet.cit.tum.de/env.yaml | 2 +- environments/eduide.artemis.cit.tum.de/env.yaml | 2 +- .../mannheim.eduide.aet.cit.tum.de/env.yaml | 2 +- .../mannheim.eduide.aet.cit.tum.de/values.yaml | 14 +++----------- 4 files changed, 6 insertions(+), 14 deletions(-) diff --git a/environments/bonn.eduide.aet.cit.tum.de/env.yaml b/environments/bonn.eduide.aet.cit.tum.de/env.yaml index 3be701f..4bf9243 100644 --- a/environments/bonn.eduide.aet.cit.tum.de/env.yaml +++ b/environments/bonn.eduide.aet.cit.tum.de/env.yaml @@ -12,5 +12,5 @@ spec: cluster: eduide namespace: eduide-bonn platform: - chartVersion: 2.2.1 + chartVersion: 2.3.0 channel: release diff --git a/environments/eduide.artemis.cit.tum.de/env.yaml b/environments/eduide.artemis.cit.tum.de/env.yaml index 1957ad6..6ff7639 100644 --- a/environments/eduide.artemis.cit.tum.de/env.yaml +++ b/environments/eduide.artemis.cit.tum.de/env.yaml @@ -12,5 +12,5 @@ spec: cluster: tum-production namespace: eduide-tum-production platform: - chartVersion: 2.2.1 + chartVersion: 2.3.0 channel: release diff --git a/environments/mannheim.eduide.aet.cit.tum.de/env.yaml b/environments/mannheim.eduide.aet.cit.tum.de/env.yaml index e7034a3..3a6fb11 100644 --- a/environments/mannheim.eduide.aet.cit.tum.de/env.yaml +++ b/environments/mannheim.eduide.aet.cit.tum.de/env.yaml @@ -12,5 +12,5 @@ spec: cluster: eduide namespace: eduide-mannheim platform: - chartVersion: 2.2.1 + chartVersion: 2.3.0 channel: release diff --git a/environments/mannheim.eduide.aet.cit.tum.de/values.yaml b/environments/mannheim.eduide.aet.cit.tum.de/values.yaml index 34732c9..eead133 100644 --- a/environments/mannheim.eduide.aet.cit.tum.de/values.yaml +++ b/environments/mannheim.eduide.aet.cit.tum.de/values.yaml @@ -83,14 +83,6 @@ eduide-shared-cache: # The chart ships eight; the rest are removed rather than hidden, so nothing is # rendered, preloaded or offered for them. -# thm-java-25 is unmerged in EduIDE (#170), so only pr-170 tags exist and no -# numbered release publishes it yet. Pin this installation's IDE images to that -# tag in-repo instead of passing ide_tag at deploy time. Mannheim offers only -# thm-java-25, so this moves that one image and nothing else. Drop this block -# once #170 merges and a release publishes a numbered tag. -versions: - ide: pr-170 - appDefinitions: # Overrides the chart defaults (2 CPU, 2400M, 24h) for this installation. # These render from values on every deploy, unlike minInstances which is read @@ -109,9 +101,9 @@ appDefinitions: ocaml-latest: null python-latest: null rust-latest: null - # TH Mannheim's own Java 25 image. Still a pull request in EduIDE (#170), - # so only pr-170 tags exist - pinned via versions.ide above until it merges - # and a release publishes a numbered tag. + # TH Mannheim's own Java 25 image. In EduIDE's build matrix since #170, so + # it carries the same numbered tag as every other IDE image and needs no + # pin of its own. thm-java-25-latest: # Ten sessions kept warm. Only a bootstrap default: the chart reads the # live value back on every upgrade so the admin scaling API is not reset,