Skip to content

Move push to codecov to its own job in Actions#74

Merged
leouieda merged 2 commits intomainfrom codecovJun 17, 2024

Commits

Commits on Jun 17, 2024