Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[travis] fix the coverity branch name
authorMartin Quinson <martin.quinson@loria.fr>
Sat, 20 Feb 2016 14:43:31 +0000 (15:43 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Sat, 20 Feb 2016 14:43:31 +0000 (15:43 +0100)
.travis.yml

index 2735684..6553d7d 100644 (file)
@@ -28,7 +28,7 @@ addons:
     notification_email: martin.quinson@ens-rennes.fr
     build_command_prepend: "cmake -Denable_documentation=OFF -Denable_coverage=OFF -Denable_java=OFF -Denable_model-checking=OFF -Denable_lua=OFF -Denable_compile_optimizations=OFF -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=OFF -Denable_compile_warnings=OFF ."
     build_command:   "make VERBOSE=1"
     notification_email: martin.quinson@ens-rennes.fr
     build_command_prepend: "cmake -Denable_documentation=OFF -Denable_coverage=OFF -Denable_java=OFF -Denable_model-checking=OFF -Denable_lua=OFF -Denable_compile_optimizations=OFF -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=OFF -Denable_compile_warnings=OFF ."
     build_command:   "make VERBOSE=1"
-    branch_pattern: coverity_scan
+    branch_pattern: coverity
 
 # Don't install lua from Debian as we need 5.3 and don't have a backport.
 #   Installing lua from the source does not make any dynamic library.
 
 # Don't install lua from Debian as we need 5.3 and don't have a backport.
 #   Installing lua from the source does not make any dynamic library.