Skip to content

Merge pull request #5 from ls1intum/update-scorpio-release-version-0.1.2 #53

Merge pull request #5 from ls1intum/update-scorpio-release-version-0.1.2

Merge pull request #5 from ls1intum/update-scorpio-release-version-0.1.2 #53

build-and-push (images/c/ToolDockerfile, ., ghcr.io/ls1intum/theia/c, 2024-09-28)  /  Build Docker Image for ghcr.io/ls1intum/theia/c

succeeded Oct 14, 2024 in 15m 0s