flinkbot edited a comment on issue #9719: [FLINK-14010][coordination] Shutdown cluster if ResourceManager terminated unexpectedly URL: https://github.com/apache/flink/pull/9719#issuecomment-533096961 <!-- Meta data Hash:c4a475ad50edd91fb1189f57651734f3a3df3508 Status:SUCCESS URL:https://travis-ci.com/flink-ci/flink/builds/128328742 TriggerType:PUSH TriggerID:c4a475ad50edd91fb1189f57651734f3a3df3508 Hash:a715e643698add6d751b0c5b1ec472ff7fc657e0 Status:FAILURE URL:https://travis-ci.com/flink-ci/flink/builds/128847720 TriggerType:PUSH TriggerID:a715e643698add6d751b0c5b1ec472ff7fc657e0 Hash:814e6e6f1fd3fbd35c3ffba882080fe5d50192f0 Status:SUCCESS URL:https://travis-ci.com/flink-ci/flink/builds/128849035 TriggerType:PUSH TriggerID:814e6e6f1fd3fbd35c3ffba882080fe5d50192f0 Hash:df49933c2a91cb322d0d9a2e966ad63b991fcbd4 Status:SUCCESS URL:https://travis-ci.com/flink-ci/flink/builds/128894251 TriggerType:PUSH TriggerID:df49933c2a91cb322d0d9a2e966ad63b991fcbd4 Hash:134d1556bc5faf2884404f6683069bfece124208 Status:PENDING URL:https://travis-ci.com/flink-ci/flink/builds/128914151 TriggerType:PUSH TriggerID:134d1556bc5faf2884404f6683069bfece124208 --> ## CI report: * c4a475ad50edd91fb1189f57651734f3a3df3508 : SUCCESS [Build](https://travis-ci.com/flink-ci/flink/builds/128328742) * a715e643698add6d751b0c5b1ec472ff7fc657e0 : FAILURE [Build](https://travis-ci.com/flink-ci/flink/builds/128847720) * 814e6e6f1fd3fbd35c3ffba882080fe5d50192f0 : SUCCESS [Build](https://travis-ci.com/flink-ci/flink/builds/128849035) * df49933c2a91cb322d0d9a2e966ad63b991fcbd4 : SUCCESS [Build](https://travis-ci.com/flink-ci/flink/builds/128894251) * 134d1556bc5faf2884404f6683069bfece124208 : PENDING [Build](https://travis-ci.com/flink-ci/flink/builds/128914151)
---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected] With regards, Apache Git Services
