tree e722f9548ddb6892631087b4d73ae55d44c6585f
parent 89a3f352578bf43cd4b34d25cfc0e5156c920c45
author peusterm <manuel.peuster@uni-paderborn.de> 1569477443 +0200
committer peusterm <manuel.peuster@uni-paderborn.de> 1569525510 +0200

Playing around with the CI; trying to solve the permission problem.

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