fix(coverage): skip cleanly when PR head branch was deleted by auto-merge#1
Closed
fredbi wants to merge 4 commits into
Closed
fix(coverage): skip cleanly when PR head branch was deleted by auto-merge#1fredbi wants to merge 4 commits into
fredbi wants to merge 4 commits into