Commit 9b7595c8 authored by Mathias Stelzer's avatar Mathias Stelzer

ci: fix coverage renaming

parent db7d5145
Pipeline #838 canceled with stages
in 11 minutes and 30 seconds