flinkbot edited a comment on issue #10080: [FLINK-14600] Degenerate the current AtomicInteger type of verticesFinished to a normal int type URL: https://github.com/apache/flink/pull/10080#issuecomment-549633254 <!-- Meta data Hash:d854a07f002bd43cab524acb03e4dbd918869827 Status:SUCCESS URL:https://travis-ci.com/flink-ci/flink/builds/134960303 TriggerType:PUSH TriggerID:d854a07f002bd43cab524acb03e4dbd918869827 --> ## CI report: * d854a07f002bd43cab524acb03e4dbd918869827 : SUCCESS [Build](https://travis-ci.com/flink-ci/flink/builds/134960303) <details> <summary>Bot commands</summary> The @flinkbot bot supports the following commands: - `@flinkbot run travis` re-run the last Travis 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. For queries about this service, please contact Infrastructure at: us...@infra.apache.org With regards, Apache Git Services
