tree e34e64841ccb842b828a60deed04e456877eeaca
parent bb525b424956375d9ffdf0a3cd07f5562aefec68
author Jan Kundrát <jan.kundrat@cesnet.cz> 1586866567 +0200
committer Jan Kundrát <jan.kundrat@cesnet.cz> 1586872920 +0200

CI: adjust job names for coverage

Change-Id: Ia5dfd395d89266c488aaf11be08060838e4b4e33