CHG rename image build step in ci
@@ -123,7 +123,7 @@ jobs:
- name: Push image to registry
run: env GIT_TAG=latest docker compose push web
build-theia-images:
- name: Build theia-images (non-ide)
+ name: Build images
runs-on: ubuntu-latest
environment: anubis
strategy:
