One should always check the project builds before pushing a commit