Bump ruff from 0.0.237 to 0.0.252.