Fix CI

[jhnns]

Follow up of #514
Preparation for #533

[codecov]

Codecov Report

❗ No coverage uploaded for pull request base (master@d4e4986). Click here to learn what that means.
The diff coverage is n/a.

@@            Coverage Diff            @@
##             master     #555   +/-   ##
=========================================
  Coverage          ?   97.43%           
=========================================
  Files             ?        6           
  Lines             ?      117           
  Branches          ?        0           
=========================================
  Hits              ?      114           
  Misses            ?        3           
  Partials          ?        0

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update d4e4986...44d36c8. Read the comment docs.