Add Travis CI info to HISTORY