Build is broken since Friday

Who is taking care of it? it was broken by this PR: https://github.com/theia-ide/theia/pull/5603 @vince-fugnitto could you look fix it today? cc @marc-dumais

[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