Repository navigation

feat: larger verification report pies - #979

Merged

antonkri merged 12 commits into

mainfrom

feat/report-pie-size

Oct 19, 2026

Merged

feat: larger verification report pies#979
antonkri merged 12 commits into
mainfrom
feat/report-pie-size

Commits on Oct 16, 2026
- feat: larger verification report pies via two-line titles
  antonkri
  committed
  7589c33
- feat: lay out report pies with the legend below the chart
  antonkri
  committed
  5cb46e6
- feat: medium report pies with larger slice numbers
  antonkri
  committed
  c002a42
- fix: enlarge report pie numbers even when legends are suppressed
  antonkri
  committed
  2b8e4d6
- test: expect default-size slice labels without a legend
  antonkri
  committed
  48eddce
- feat: drop legend and slice labels from report pies
  antonkri
  committed
  805babd
- style: report pie numbers at 14pt
  antonkri
  committed
  d5fd89d
- Merge branch 'main' into feat/report-pie-size
  antonkri
  authored
  52dd1ae
Commits on Oct 19, 2026