tree a5d9a403f3661d05fbc3df36d72ad56fd5d9a0f5
parent 24d11bc225b72884e079edb378bac26a2afce0cb
author Marc Kupietz <kupietz@ids-mannheim.de> 1648310811 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1648311000 +0100

Revert "Disable re-running CI tests on unmerged pull-requests"

This reverts commit d08d0095be97c2bd1cc64157201b24881b61dc8a.

Change-Id: I1e1ce8479349480cfc29ddb01d8fbd1f832115a8