Skip to content

CI: publish perf and coverage metrics as a sticky PR comment#105

Merged
typeless merged 4 commits into
mainfrom
ci/pr-metrics
Jul 18, 2026
Merged

CI: publish perf and coverage metrics as a sticky PR comment#105
typeless merged 4 commits into
mainfrom
ci/pr-metrics

Compare PR metrics against the last successful main run

7169376
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
format-check
succeeded Jul 18, 2026 in 7s