chore(ci): fix codecov main branch name#793

Merged

jansegre merged 1 commit intomasterfrom

chore/codecov-main-branch

Sep 30, 2023

Commits on Sep 28, 2023

chore(ci): fix codecov main branch name
jansegre
committed