Test diff_realroot1 failed during some CI job (see link below). In many other CI runs these last few days this did not appear. Any possible explanation like randomization and small (but nonzero) probability of failure? Or is there a possible bug that we should chase?
See https://github.com/vneiger/flint/actions/runs/19030225200/job/54342150611#step:13:180