Skip to content

[ty] More efficient representation for path assignments - #28069

Draft
dcreager wants to merge 2 commits into
mainfrom
dcreager/better-sequents
Draft

[ty] More efficient representation for path assignments#28069
dcreager wants to merge 2 commits into
mainfrom
dcreager/better-sequents

property tests

a917e1c
Select commit
Loading
Failed to load commit list.
CodSpeed HQ / CodSpeed Performance Analysis succeeded Aug 26, 2026 in 0s

Performance Gate Passed

✅ 126 untouched benchmarks
⏩ 84 skipped benchmarks1

Comparing dcreager/better-sequents (a917e1c) with main (7c4724f)

Open in CodSpeed

Footnotes

  1. 84 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩

View more details on CodSpeed HQ