chore(ci): split off coverage workflow#1944

Merged

joshua-goldstein merged 6 commits intomainfrom joshua/ci

May 8, 2023

+33-7

Commits on May 5, 2023

remove pr target, use pr instead
Joshua Goldstein
committed
add conditional logic
Joshua Goldstein
committed
typo
Joshua Goldstein
committed
split into two workflows
Joshua Goldstein
committed
typo
Joshua Goldstein
committed

Commits on May 6, 2023

don't report coverage in one workflow
joshua-goldstein
authored