<div dir="auto">Thanks for reporting!<div dir="auto"><br></div><div dir="auto">Is this sporadic or does it reproduce every time?</div><div dir="auto"><br></div><div dir="auto">We have this upgrade scenario in CI without issues, thus asking about reproducibility.</div></div>