tree 4a6b9e0b5b3de614514661ae5999994819c49357
parent 3eeabffbf9b045e41bec18e3ab7d42fa4383c086
author Marc Kupietz <kupietz@ids-mannheim.de> 1786202302 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1786202347 +0200

Update ci script

Change-Id: If88ba61bc1b304e1363fe98f08f550445ff0faee