Skip to content

fix(proof): translate targets before pairing them with proof hashes - #166

Merged
Davidson-Souza merged 1 commit into
mit-dci:mainfrom
Davidson-Souza:fix/return-translated-targets
Oct 7, 2026
Merged

fix(proof): translate targets before pairing them with proof hashes#166
Davidson-Souza merged 1 commit into
mit-dci:mainfrom
Davidson-Souza:fix/return-translated-targets

fix(proof): translate targets before pairing them with proof hashes

23af8a6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
aarch64-unknown-linux-gnu [native]
succeeded Oct 6, 2026 in 7m 26s