Fix THEIA_VERSION arg being empty in Docker build #45
ze-theia-slim.yaml
on: push
setup
4s
build-and-deploy
/
build-and-deploy
7m 27s