Travis-CI Tests check if no formatting was done