Closed drammock closed 1 month ago
I noticed when reviewing #1807 that codecov CI is still running (and failing). It should have been removed in #1756 (oops).
This PR does not seem to contain any modification to coverable code.
CI is happy so will go ahead and merge 🚀
I noticed when reviewing #1807 that codecov CI is still running (and failing). It should have been removed in #1756 (oops).