tree 332d7fc73d8b0e473ce528aec7d9005209dc52f4
parent 836db709b6d1f8fd8848b66dc617b2a1491dcfe7
author baunsgaard <baunsgaard@tugraz.at> 1595417194 +0200
committer baunsgaard <baunsgaard@tugraz.at> 1595417204 +0200

[MINOR] Rerun failing tests

To make the testing on github a little more stable, the tests will now
rerun twice if failing.