Aiden Grossman 9ea1d39ead [CI][Github] Remove Outdated Comments
5fc3e76ec4f323c22cddf7b9458137510507847a made the pipelines fail on
errors and also removed the TODO comments, but did not remove the
explanatory comments on why things were set up that way. Given things no
longer succeed on error, these comments are outdated and should be
removed.
2025-08-08 15:59:15 +00:00
..