Skip to content

chore: regenerate coverage metrics - #877

Merged
johnleider merged 1 commit into
masterfrom
chore/metrics-regen
Aug 21, 2026
Merged

chore: regenerate coverage metrics#877
johnleider merged 1 commit into
masterfrom
chore/metrics-regen

Conversation

@github-actions

@github-actions github-actions Bot commented Aug 18, 2026

Copy link
Copy Markdown
Contributor

Auto-regenerated after a release. Coverage only.

Note

Published without a benchmark snapshot: **1.0.5 **

History points are measured on the reference workstation, not here.
Run pnpm metrics and pnpm metrics:history there, then open a
chore(bench): regenerate metrics PR.

Benchmark numbers in this diff are the committed reference-host
measurements, re-emitted unchanged — a shared GitHub runner does not
pin the CPU, and measuring benches here would replace them with
whichever host this job drew.

To refresh benchmarks or the per-version history, run them on the
reference workstation: see "Regenerating metrics" in
.claude/rules/benchmarks.md.

@github-actions
github-actions Bot force-pushed the chore/metrics-regen branch 18 times, most recently from 55bdbc4 to 9d0139f Compare August 20, 2026 21:05
@github-actions
github-actions Bot force-pushed the chore/metrics-regen branch from 9d0139f to 4aee707 Compare August 20, 2026 23:56
@johnleider
johnleider merged commit e84f6bf into master Aug 21, 2026
5 checks passed
@johnleider
johnleider deleted the chore/metrics-regen branch August 21, 2026 01:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant