3 Commits

Author	SHA1	Message	Date
Kris De Volder	66064b449f	Switch to theia 'latest' instead of 'next' ... Hopefully this will make docker image build more stable.	2019-12-20 14:43:11 -08:00
Kris De Volder	b5aff2634f	docker-theia image build tweaks: ... - Add slack notification to docker-theia build - Add a short readme on how to use/run the image	2019-11-28 09:51:43 -08:00
Kris De Volder	cd0c29671b	Attempt to add theia-docker-image build to pipeline	2019-11-27 14:42:03 -08:00