Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Try to activate coverity for simgrid
[simgrid.git] / doc / doxygen / inside_ci.doc
1 /*!
2 \page inside_ci Continous Integration (with Jenkins)
3
4 \section ci_jenkins Jenkins Interface
5
6 \subsection inside_jenkins_basics Where can I find Jenkins?
7
8 The SimGrid team currently uses Jenkins to automate testing. Our Jenkins
9 interface can be found here: https://ci.inria.fr/simgrid/
10
11 If you need an account, talk to Martin Quinson.
12
13 \subsection inside_jenkins_add_host How can I add a new host?
14
15 You have to login to the CI interface of INRIA: https://ci.inria.fr
16 There you can manage the project and add new nodes.
17
18 \subsection inside_jenkins_reboot_host How can I restart / reboot a host?
19
20 Exactly the same as in \ref inside_jenkins_add_host. The only exception
21 is that you have to click on "restart" of the host you want to restart.
22
23
24 \subsection inside_jenkins_config_matrix Disable a certain build in the configuration matrix
25
26 Jenkins uses a configuration matrix, i.e., a matrix consisting of configurations
27 on the one axis and hosts on the other. Normally, every host will try to build
28 every configuration but this may not be desirable.
29
30 In order to disable a single configuration for a specific host (but leave
31 other configurations for the same host enabled), go to your Project and click
32 on "Configuration". There, find the field "combination filter" (if your interface
33 language is English) and tick the checkbox; then add a groovy-expression to
34 disable a specific configuration. For example, in order to disable the "ModelChecker"
35 build on host "small-freebsd-64-clang", use:
36
37 \verbatim
38 (label=="small-freebsd-64-clang").implies(build_mode!="ModelChecker")
39 \endverbatim
40
41 \section ci_servers CI Servers
42
43 \subsection ci_servers_build_dir Where is SimGrid built?
44
45 SimGrid gets built in /builds/workspace/$PROJECT/build_mode/$CONFIG/label/$SERVER/build
46
47 Here, $PROJECT could be for instance "SimGrid-Multi", $CONFIG "DEBUG" or "ModelChecker"
48 and $SERVER for instance "simgrid-fedora20-64-clang".
49
50 */