Tracking PR for v0.22.0 release#778

Merged

bobbinth merged 15 commits intomainfrom

Jan 28, 2026

Commits on Jan 15, 2026

chore: increment crate versions to v0.22.0
bobbinth
committed

Commits on Jan 17, 2026

Merge branch 'main' into next
bobbinth
authored

Commits on Jan 18, 2026

fix: install nightly toolchain in fuzz CI workflow (#781)

huitseeker
and
bobbinth
authored

Commits on Jan 19, 2026

chore: add workspace release workflow, remove per-PR MSRV check (#776)
huitseeker
authored

Commits on Jan 20, 2026

Merge branch 'main' into next
bobbinth
authored

Commits on Jan 21, 2026

feat(SmtForest): Improve tree identification (#775)
iamrecursion
authored

Commits on Jan 22, 2026

Commits on Jan 23, 2026

Commits on Jan 25, 2026

feat: add generic Digest256 and Digest512 structs (#777)
Farukest
authored

Commits on Jan 27, 2026

Commits on Jan 28, 2026