Required status check

A CI check that must pass before GitHub lets a pull request merge, such as marking "Tests" required on the main branch.