tree 583ff27e371db8fcbb5b1705f61a183dc1f3dadc
parent a45a24c06bd14d3fc9d360d8e1c59654c66b5734
author peusterm <manuel.peuster@uni-paderborn.de> 1569941533 +0200
committer peusterm <manuel.peuster@uni-paderborn.de> 1569941533 +0200

CI: Final check if new CI works

Change-Id: I4cac43812087b15be9ac4ad792f0a8515cb5f524
Signed-off-by: peusterm <manuel.peuster@uni-paderborn.de>