Codecov Report

Merging #176 (7dfbe07) into main (8d18917) will not change coverage.
The diff coverage is 100.00%.

❗ Your organization is not using the GitHub App Integration. As a result you may experience degraded service beginning May 15th. Please install the Github App Integration for your organization. Read more.

@@           Coverage Diff           @@
##             main     #176   +/-   ##
=======================================
  Coverage   88.52%   88.52%           
=======================================
  Files           4        4           
  Lines        1046     1046           
=======================================
  Hits          926      926           
  Misses        120      120           

Thanks for pulling this together. Holding off merging since you didn't actually as for a review yet.

@phobson Thanks. I didn't want to tag you so close to a holiday.

Also from my side thanks for your fast response.
I can confirm that these changes fix the issue in the Fedora configuration, and it now again builds and tests just fine.
See: https://koji.fedoraproject.org/koji/taskinfo?taskID=102904082
So once this is merged #175 can be closed I think.