Fix CI coverage-comment failure on push to main - #100

Open

martin-henz wants to merge 2 commits into

mainfrom

fix/ci-coverage-comment-push

Commits on Aug 27, 2026

Fix pre-existing lint/type errors blocking commits

martin-henz
and
claude
committed
370446b
Skip PR coverage comment on push events

martin-henz
and
claude
committed
77297ae