[Jenkins]Jenkins

SuccessChanges

Summary

  1. contrib/ci.inria.fr: allow disabling so builds in Jenkins files (details)
  2. contrib/ci.inria.fr: minor cleanups in sonar-scanner properties (details)
  3. contrib/ci.inria.fr: save sonar-scanner scan-build logs (details)
Commit 85d9dff0a1579c6a254309bf48f58259b355539c by brice.goglin
contrib/ci.inria.fr: allow disabling so builds in Jenkins files
... using env vars in the jenkins UI.
Signed-off-by: Brice Goglin <Brice.Goglin@inria.fr>
(cherry picked from commit dad69499a2cb1af82c30f5cc3e949f0e9adfbeec)
The file was modifiedcontrib/ci.inria.fr/Jenkinsfile-extended (diff)
The file was modifiedcontrib/ci.inria.fr/Jenkinsfile-basic (diff)
Commit 1865ca89d57fa5dcf46586c134bb512ae41d0110 by brice.goglin
contrib/ci.inria.fr: minor cleanups in sonar-scanner properties
Signed-off-by: Brice Goglin <Brice.Goglin@inria.fr>
(cherry picked from commit 57c770a7cda444c30a8e099dde85757c87e377d9)
The file was modifiedcontrib/ci.inria.fr/job-3-sonarscanner.sh (diff)
Commit d66de06748d4a5c30837902bd4d1e4dee050976b by brice.goglin
contrib/ci.inria.fr: save sonar-scanner scan-build logs
Signed-off-by: Brice Goglin <Brice.Goglin@inria.fr>
(cherry picked from commit 88e028db8567dc9d0fe82429b72a42eb58d17304)
The file was modifiedcontrib/ci.inria.fr/job-3-sonarscanner.sh (diff)