Things you should know about the CI

For continuous integration we use Jenkins. You can reach it at http://ci.riot-os.org. Most jobs there are configured to react on merging PRs and some react on special comments by certain users in a PR, but other scenarios (building in intervals, etc) are possible to.

Administration

Administrators

The following section is only of interest for administrators in Jenkins. Those are currently

• Christian Mehlis (@mehlis)
• Ludwig Ortmann (@LudwigOrtmann)
• Martin Lenders (@authmillenon)
• Oleg Hahm (@OlegHahm)
• Thomas Eichinger (@thomaseichinger)

Creating a Job

TODO

Updating/Installing Plugins

Plugins can be updated and installed via Manage jenkins -> Manage plugins -> Update and Manage jenkins -> Manage plugins -> Available, respectively. Links to the documentation of those plugins are provided by Jenkins and can be found in the Jenkins wiki

SSH

Sometimes SSH access to the CI server is needed (for software installation and software updates, mainly). This access is restricted to the following maintainers currently:

• Christian Mehlis (@mehlis)
• Martin Lenders (@authmillenon) Please contact them for help concerning those issues. The server is reachable via SSH under stedten.imp.fu-berlin.de

Updating Jenkins

If under Manage jenkins a new update of Jenkins is announced don't bother to click download (it will just download the current *.war file to your PC). It needs to be updated via APT on the machine:

sudo apt-get update && sudo apt-get upgrade && sudo service tomcat6 restart