chore: whitespace change

[noomorph]

Summary

Testing why #9397 is partially red on CI. I suspect it is not related to the PR.

Test plan

Debugging why some CI builds are red.

[codecov-io]

Codecov Report

Merging #9637 into master will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master    #9637   +/-   ##
=======================================
  Coverage   65.09%   65.09%           
=======================================
  Files         287      287           
  Lines       12144    12144           
  Branches     3009     3009           
=======================================
  Hits         7905     7905           
  Misses       3604     3604           
  Partials      635      635

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update e3aa106...976ef65. Read the comment docs.

[royra]

@noomorph any conclusions? My PR has seemingly unrelated failures as well.

[noomorph]

@royra, looks like my issue was temporary. See #9397. Status is green again.

[github-actions]

This pull request has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.
Please note this issue tracker is not a help forum. We recommend using StackOverflow or our discord channel for questions.