aha, thanks, i’ll start looking there for an error first - that worked.
it’s absurd this is necessary, but it’s actions/checkout’s fault, not yours.
Any update on the “changes” that would make this unnecessary, referenced here PR to add codecov badge drops coverage - #7 by tom ?