-
Committer:
Marco Trevisan (Treviño)
-
Date:
2023-03-15 15:18:17 UTC
-
Revision ID:
git-v1:5e98f10011e89488aa8d73842e22dd0a7bd47e14
ci: Do not require coverage to always happen
meson coverage could be broken in some cases, so let's ignore the error
for now if it happens.