Tests: make sure that tests.txt gets created even if there are no tests [ci skip].
Tests: make sure that tests.txt gets created even if there are no tests [ci skip].

Fairly/opencor,Fairly/opencor,mirams/opencor,mirams/opencor,Fairly/opencor,mirams/opencor,mirams/opencor,Fairly/opencor,mirams/opencor,Fairly/opencor