search

eclipsesource / theia-cloud-helm

Eclipse Public License 2.0
3 stars 6 forks source link

Add options to configure Theia Cloud monitor #13

Closed sgraband closed 1 year ago

sgraband commented 1 year ago

Contributed on behalf of STMicroelectronics

This PR should be merged together with https://github.com/eclipsesource/theia-cloud/pull/107

sgraband commented 1 year ago

Increased times to 25 and 30 minutes.