[original thread by Anton Kosyakov]
Today is Canada day. I don’t think you’ll get a response from the MTL folk.
ok, i’m merging https://github.com/theia-ide/theia/pull/5601 then
it did not help: https://travis-ci.org/theia-ide/theia/jobs/552659301#L2265-L2284
@marc-dumais @paul-marechal please have a look tomorrow morning, maybe we can disable codec check for now, and enable when you find the stable solution
Hi @anton-kosyakov I think I have a way to make publish work - working on a PR. Testing publish locally first, to increase the chances it works on Travis