Properly nanmed Travis CI configuration file