Skip to content

fix(coverage): skip cleanly when PR head branch was deleted by auto-merge - #204

Merged
fredbi merged 1 commit into
masterfrom
fix/coverage-skip-on-deleted-branch
May 31, 2026
Merged

fix(coverage): skip cleanly when PR head branch was deleted by auto-merge#204
fredbi merged 1 commit into
masterfrom
fix/coverage-skip-on-deleted-branch

Commits

Commits on May 31, 2026