| commit | 8489b0ca69a19715ddbbb9ef0bfe804eee439a96 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Thu Sep 26 07:57:23 2019 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Thu Sep 26 21:18:30 2019 +0200 |
| tree | e722f9548ddb6892631087b4d73ae55d44c6585f | |
| parent | 89a3f352578bf43cd4b34d25cfc0e5156c920c45 [diff] |
Playing around with the CI; trying to solve the permission problem. Change-Id: Ic37ab76a475014d5909a759ddebdc4e4e6eac5df Signed-off-by: peusterm <manuel.peuster@uni-paderborn.de>