Run the pre-commit checks in a github workflow to validate that a PR or a direct push to the repo does not introduce new errors.