Commit db7d5145 authored by Mathias Stelzer's avatar Mathias Stelzer

ci: fix coverage renaming

parent 8a00c935
Pipeline #837 failed with stages
in 6 minutes and 14 seconds