Commit Graph

2 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
cd0c29671b Attempt to add theia-docker-image build to pipeline 2019-11-27 14:42:03 -08:00