From: Jérémie Astor <fennecdjay@gmail.com>
Date: Mon, 5 Oct 2020 10:17:33 +0000 (+0200)
Subject: Merge pull request #194 from TotallyNotChase/ci-fixes
X-Git-Tag: nightly~1244^2
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=99eab3c740309fd7796c6b9a699fff11b18d217f;p=gwion.git

Merge pull request #194 from TotallyNotChase/ci-fixes

Fix coverage CI
---

99eab3c740309fd7796c6b9a699fff11b18d217f