Skip to content

chore(production): chart 2.3.0, which pins the IDE images to EduIDE 1.3.0 #142

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
Mtze merged 1 commit into from
Sep 25, 2026
Merged

chore(production): chart 2.3.0, which pins the IDE images to EduIDE 1.3.0 #142

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
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 environments/bonn.eduide.aet.cit.tum.de/env.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,5 +12,5 @@ spec:
cluster: eduide
namespace: eduide-bonn
platform:
chartVersion: 2.2.1
chartVersion: 2.3.0
Comment thread
Mtze marked this conversation as resolved.
channel: release
2 changes: 1 addition & 1 deletion environments/eduide.artemis.cit.tum.de/env.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,5 +12,5 @@ spec:
cluster: tum-production
namespace: eduide-tum-production
platform:
chartVersion: 2.2.1
chartVersion: 2.3.0

@Mtze Mtze Sep 25, 2026

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

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

Half of this is now resolved: EduIDE's v1.3.0 release build finished successfully and all 13 image tags are published (verified each with docker manifest inspect). Chart 2.3.0 is still pending EduIDE-Helm#43.

The ordering stands as described - Helm#43, then #141 (staging), then this. #143 makes CI enforce the chart half rather than leaving it to the description.

channel: release
2 changes: 1 addition & 1 deletion environments/mannheim.eduide.aet.cit.tum.de/env.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,5 +12,5 @@ spec:
cluster: eduide
namespace: eduide-mannheim
platform:
chartVersion: 2.2.1
chartVersion: 2.3.0
Comment thread
Mtze marked this conversation as resolved.
channel: release
14 changes: 3 additions & 11 deletions environments/mannheim.eduide.aet.cit.tum.de/values.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand All @@ -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,
Expand Down
Loading