Deploy of coverage reports to pages got broken in !169 (merged)
added Bug label
requested review from @holzer
assigned to @da15siwa
approved this merge request
enabled an automatic merge when the pipeline for 143045a5 succeeds
mentioned in commit 3e2cf9dd
merged