Hello Committers and Contributors, Due to unstable build pipelines, from past 1 week, PRs are being merged after CR ignoring PR build status. Build pipeline is much more stable than last week and most of the build failures you see from now on, are likely to be a valid failure and hence, it is recommended to wait for PR builds, see the root cause of any build failures before proceeding with merges.
At this point of time, there are 2 intermittent issue yet to be fixed - * Network error leading to GitHub requests throwing 404 * A conflict in artifacts generated between branches/PR - Cause unknown yet. These issues will be fixed soon. -- Sandeep Krishnamurthy
