Skip to content

chore: reliable offline coverage reporting in local-ci - #89

Merged
mcpolo99 merged 2 commits into
developfrom
chore/local-ci-coverage-reporting
Jul 4, 2026
Merged

chore: reliable offline coverage reporting in local-ci#89
mcpolo99 merged 2 commits into
developfrom
chore/local-ci-coverage-reporting

chore: add opt-in PR coverage-comment posting to local-ci

7f3b60c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
lint
succeeded Jul 4, 2026 in 2m 38s