Open
Description
In #652, @StephenSorriaux very nicely fixed up our CI checks.
However, our current PR's aren't required to pass CI before being merged:
- We should change this so they have to pass CI.
- We need to retain the ability to override in case for some reason a PR intentionally won't pass CI but we still need to merge it. While very rare, this does occasionally happen. Several of the maintainers have admin rights on the repo so they could temporarily disable those branch checks if needed.