Jenkins

Auf dem Rechner siran ist das Continuous-Integration-Tool jenkins installiert, dessen Weboberfläche über http://siran.informatik.uni-kiel.de:8080/ erreichbar ist. Jenkins kann dafür benutzt werden eventbasiert oder zeitgesteuert bestimmte Aufgaben durchzuführen. An der Arbeitsgruppe wird Jenkins derzeit insbesondere eingesetzt um:

• Bei den installierten Webanwendungen automatisch die Installierbarkeit zu testen und alle Testfälle auszuführen
• Bei den Curry-Systemen und verwandten Repository die Installation zu testen und Testfälle auszuführen

jenkins ist direkt als Debian-Paket installiert und läuft unter dem bei der Installation angelegten User jenkins. Für etwaige Fehlersuchen ist es deshalb ratsam, den öffentlichen SSH-Key der Administratoren als authorisierten Schlüssel zu hinterlegen. Die Aktualisierung erfolgt bequem über die reguläre Paketaktualisierung, jediglich die nachträglich installierten Plugins müssen manuell über http://siran.informatik.uni-kiel.de:8080/pluginManager/ aktualisiert werden.

Administratoren von Jenkins sind derzeit Björn, Jan und Mike (Stand August 2016), langfristig ist es sicherlich sinnvoll den Dienst unter einem eigenen Rechner zur Verfügung zu stellen und die Administration dem Administrator der AG zu überlassen.