Editing the travis configuration file