Make it so a PR can't be merged if the CI is not passing #4

Closed carlrizk closed 2 weeks ago