Skip to content

Things you should know about the CI

Ludwig Ortmann edited this page May 1, 2015 · 5 revisions

HEADS UP

The information below is outdated, we use Travis for CI at the moment.

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)
  • Ludwig Ortmann (@LudwigOrtmann)

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 && sudo apt-get clean

Troubleshooting

Jobs don't get executed

pending - waiting for next executor

Most likely problem: The master node is down. Go to Manage jenkins -> Manage nodes and click on configure, then save and then Bring node back online. If the problem stays ask the SSH maintainers to make room on the disk drive.

Clone this wiki locally