ruff

[red-knot] add while-loop to benchmark

#12464

Merged