flink-issues mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From GitBox <...@apache.org>
Subject [GitHub] [flink] flinkbot commented on issue #9827: [FLINK-14303][metrics] Replace JobManagerMetricGroup with ResourceManagerMetricGroup in ResourceManager
Date Tue, 01 Oct 2019 09:19:07 GMT
flinkbot commented on issue #9827: [FLINK-14303][metrics] Replace JobManagerMetricGroup with
ResourceManagerMetricGroup in ResourceManager
URL: https://github.com/apache/flink/pull/9827#issuecomment-536948437
 
 
   <!--
   Meta data
   Hash:fa367aaeb2089366de1d9497f1bbec9b11d75e72 Status:UNKNOWN URL:TBD TriggerType:PUSH TriggerID:fa367aaeb2089366de1d9497f1bbec9b11d75e72
   -->
   ## CI report:
   
   * fa367aaeb2089366de1d9497f1bbec9b11d75e72 : UNKNOWN
   

----------------------------------------------------------------
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:
users@infra.apache.org


With regards,
Apache Git Services

Mime
View raw message