tree d6060afcf4bb829bfbaac4b112b4643f818af5d8
parent dbe11c74227d106aeeefa73e8253a40f86c87c74
author Marc Kupietz <kupietz@ids-mannheim.de> 1621589980 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1621590207 +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