Skip to content
.github/workflows/build.yml

Fix userid to 101 for theia user #21

Sign in to view logs

Fix userid to 101 for theia user

Fix userid to 101 for theia user #21

Re-run triggered July 11, 2024 15:41
@iyannschiyannsch
3dec07c
master
Status Failure
Total duration 1h 23m 27s
Artifacts –

build.yml

on: push
build-and-push-base  /  Build Docker Image for ghcr.io/ls1intum/theia/base
1h 15m
build-and-push-base / Build Docker Image for ghcr.io/ls1intum/theia/base
Matrix: build-and-push
Fit to window
Zoom out
Zoom in

Annotations

1 error
build-and-push (.) / Build Docker Image for ghcr.io/ls1intum/theia/haskell
The hosted runner: GitHub Actions 13 lost communication with the server. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.