Skip to content

chore: use synthtool with no-install nox format#15562

Merged
ohmayr merged 1 commit intomainfrom
update-synthtool
Feb 11, 2026
Merged

chore: use synthtool with no-install nox format#15562
ohmayr merged 1 commit intomainfrom
update-synthtool

Commits

Commits on Feb 11, 2026