[GitHub] [flink] flinkbot edited a comment on pull request #14364: [FLINK-20473][web]when get metrics option, its hard to see the full name unless u choosed

[GitBox <gi...@apache.org>]

flinkbot edited a comment on pull request #14364:
URL: https://github.com/apache/flink/pull/14364#issuecomment-742958685


   <!--
   Meta data
   {
     "version" : 1,
     "metaDataEntries" : [ {
       "hash" : "60f83e5f3fd66bb0e61d55e9d264bf78982b34ef",
       "status" : "SUCCESS",
       "url" : "https://dev.azure.com/apache-flink/98463496-1af2-4620-8eab-a2ecc1a2e6fe/_build/results?buildId=10788",
       "triggerID" : "60f83e5f3fd66bb0e61d55e9d264bf78982b34ef",
       "triggerType" : "PUSH"
     } ]
   }-->
   ## CI report:
   
   * 60f83e5f3fd66bb0e61d55e9d264bf78982b34ef Azure: [SUCCESS](https://dev.azure.com/apache-flink/98463496-1af2-4620-8eab-a2ecc1a2e6fe/_build/results?buildId=10788) 
   
   <details>
   <summary>Bot commands</summary>
     The @flinkbot bot supports the following commands:
   
    - `@flinkbot run azure` re-run the last Azure build
   </details>


-- 
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.

To unsubscribe, e-mail: issues-unsubscribe@flink.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org