anchor.diff:      if hasBuildParam "jenkins_home" then Jenkins else
       if not (isNullOrEmpty tcBuildNumber) then TeamCity else
       if not (isNullOrEmpty ccBuildLabel) then CCNet else 
  +    if not (isNullOrEmpty travisBuildNumber) then Travis else 
       LocalBuild
   
   /// The current build version as detected from the current build server.
  
positive.code: /// [omit]
  let tcBuildNumber = environVar "BUILD_NUMBER"
  
  /// Build number retrieved from Jenkins
  /// [omit]
  let jenkinsBuildNumber = tcBuildNumber
  
negative.code: | TeamCity
  | CCNet
  | Jenkins
  | Travis
  | LocalBuild
  
  /// The trace mode option.
  