Kris De Volder
|
3061cb30b1
|
Update theia docker image package.json
... so it matches more closely with 'upstream' version of
this.
|
2020-05-27 11:58:19 -07:00 |
|
Kris De Volder
|
606a52c103
|
Another attempt to fix theia image
|
2020-02-27 16:21:30 -08:00 |
|
Kris De Volder
|
d9f2e4c709
|
Try Theia with version 'next'.
|
2020-01-20 15:51:33 -08:00 |
|
Kris De Volder
|
6d94e78280
|
Change name of theia-app
|
2020-01-14 13:45:52 -08:00 |
|
Kris De Volder
|
50260eb2ff
|
Try fixing Theia docker build
|
2020-01-14 11:38:40 -08:00 |
|
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 |
|