tree 7315d79674b69b2709fb1c016d56203f9887c6c6
parent a01314f4e6fa0382399b7a109aeda4e6c5e3830e
author Rebecca Wilm <wilm@ids-mannheim.de> 1668008808 +0100
committer Rebecca Wilm <wilm@ids-mannheim.de> 1668008808 +0100

added CI test

Change-Id: Ie1bce6b17e82f63273d32de4145a20a0a7818e1a