Skip to content
.github/workflows/build.yml

Merge pull request #3 from ls1intum/update-scorpio-release-version-0.1.0 #49

Sign in to view logs

Merge pull request #3 from ls1intum/update-scorpio-release-version-0.1.0

Merge pull request #3 from ls1intum/update-scorpio-release-version-0.1.0 #49

build-and-push (images/ocaml/ToolDockerfile, ., ghcr.io/ls1intum/theia/ocaml, 2024-06-21)  /  Build Docker Image for ghcr.io/ls1intum/theia/ocaml

build-and-push (images/ocaml/ToolDockerfile, ., ghcr.io/ls1intum/theia/ocaml, 2024-06-21) / Build Docker Image for ghcr.io/ls1intum/theia/ocaml
succeeded Sep 23, 2024 in 39m 38s