Skip to content
.github/workflows/build.yml

Hide persisted and Java Plugin notifications #80

Sign in to view logs

Hide persisted and Java Plugin notifications

Hide persisted and Java Plugin notifications #80

Annotations

1 warning

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

build-and-push (images/ocaml/ToolDockerfile, ., ghcr.io/ls1intum/theia/ocaml, 2024-11-11) / Build Docker Image for ghcr.io/ls1intum/theia/ocaml
succeeded Dec 5, 2024 in 55m 50s