Skip to content

Sd merge review fixes#6

Merged
federico-martinez-invgate merged 16 commits into
mainfrom
sd-merge-review-fixes
Jul 12, 2026
Merged

Sd merge review fixes#6
federico-martinez-invgate merged 16 commits into
mainfrom
sd-merge-review-fixes

benches: refresh results with the lazy .tii reader + merge TermInfo fix

77613f4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Rust tests + clippy (stable, PHP 8.4 NTS)
succeeded Jul 12, 2026 in 52s