tree 62bb094b156719217c9625f63dd5f47be9181537
parent 99ed5b0b24a79644c30984d41e2f0e48426f0100
author Marc Kupietz <kupietz@ids-mannheim.de> 1593762145 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1593762145 +0200

Re-run CI tests on open PRs

Change-Id: Ifdc4b5e69c2fc5d91240b3b4abe8ae1383a16930