CI: Fix of Jenkins file
Change-Id: Ide6a3f4c67b737c19264dd9ed894ede4865e0284
Signed-off-by:
peusterm <manuel.peuster@uni-paderborn.de>
Loading
Please sign in to comment
Change-Id: Ide6a3f4c67b737c19264dd9ed894ede4865e0284
Signed-off-by:
peusterm <manuel.peuster@uni-paderborn.de>