tree 130ecee33f1bc49d2bd10a7cacef05ad7efcac1c
parent 3831c925974d31ab0e6a03944d173cd6b764bfed
author Marc Kupietz <kupietz@ids-mannheim.de> 1621589980 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1621778472 +0200

Disable re-running CI tests on unmerged pull-requests

This is not helpful with our current workflow and with PRs mostly coming from Dependabot.

Change-Id: Ief9e7e24320d5ea63ef9a1b2cd4e710e13ea64c3