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 Hash:719c2c94ac8a0dcb978b1d9a0f3b764182b054e1 Status:PENDING URL:https://travis-ci.com/flink-ci/flink/builds/135023884 TriggerType:PUSH TriggerID:719c2c94ac8a0dcb978b1d9a0f3b764182b054e1 --> ## CI report: * d854a07f002bd43cab524acb03e4dbd918869827 : SUCCESS [Build](https://travis-ci.com/flink-ci/flink/builds/134960303) * 719c2c94ac8a0dcb978b1d9a0f3b764182b054e1 : PENDING [Build](https://travis-ci.com/flink-ci/flink/builds/135023884) <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: [email protected] With regards, Apache Git Services
