tree 79922a4e09057920c09982d4d41ebd2d4493a0db
parent ec7c2aec171132a766474753e563c662242c2778
author Marc Kupietz <kupietz@ids-mannheim.de> 1764849097 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1764849097 +0100

Run docker requiring tests only when available

Change-Id: I016feeeffb9ee72d51ce4c3f7974b52efc5e1fb6