If the build on main fails, it is likely that the underlying Theia project has some API breakage. We should notify interested parties, either some committer or a mailing list in this case. @vince-fugnitto @marcdumais-work Any thoughts on this?
see also #122 introducing a build against "next"