rmetzger commented on pull request #12916: URL: https://github.com/apache/flink/pull/12916#issuecomment-663490609
The problem is probably just a side-effect of a bug in the CI bot (it was triggering the same build multiple times, and we can not distinguish the builds properly from the status GitHub is reporting). We should not have this problem with regular builds. ---------------------------------------------------------------- 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]
