Skip to content

Merge pull request #14 from ls1intum/update-scorpio-release-version-0… #71

Merge pull request #14 from ls1intum/update-scorpio-release-version-0…

Merge pull request #14 from ls1intum/update-scorpio-release-version-0… #71

build-and-push (images/java-17/ToolDockerfile, ., ghcr.io/ls1intum/theia/java-17, 2024-11-11)  /  Build Docker Image for ghcr.io/ls1intum/theia/java-17

succeeded Nov 18, 2024 in 24m 15s