Check proper compilation before pushing