Skip to content

Rename RunWitness to RunTranslator - #770

Merged
xmap merged 1 commit into
mainfrom
rename-run-witness-to-translator
Sep 3, 2026
Merged

Rename RunWitness to RunTranslator#770
xmap merged 1 commit into
mainfrom
rename-run-witness-to-translator

Commits

Commits on Sep 2, 2026