Fail HOL-Light tests on unsupported arch#1232

fegge wants to merge 1 commit into

mainpq-code-package/mldsa-native:mainfrom

ptp/hol-light-unsupported-arch-exits-zeropq-code-package/mldsa-native:ptp/hol-light-unsupported-arch-exits-zeroCopy head branch name to clipboard