Do not ignore errors on plugin download

eclipse-theia / theia-ide

The Eclipse IDE is a modern and open IDE for cloud and desktop. The Theia IDE is based on the Theia platform. The Theia IDE is available as a downloadable desktop application. You can also try the latest version of the Theia IDE online. For more details, see the Readme below.

https://theia-ide.org/#theiaide

MIT License

343 stars 129 forks source link

Do not ignore errors on plugin download #388

Closed jfaltermeier closed 1 month ago

jfaltermeier commented 1 month ago

What it does

Do not ignore errors on plugin download

Also Update to Theia 1.53.1 and update metadata for 1.52.0 release via Jenkinsfile

Contributed on behalf of STMicroelectronics

How to test

Review checklist

[x] as an author, I have thoroughly tested my changes and carefully followed the review guidelines

Reminder for reviewers

as a reviewer, I agree to behave in accordance with the review guidelines

tsmaeder commented 1 month ago

@msujew any idea why this is failing on mac only?