Fail HOL-Light tests on unsupported arch#1224

fegge wants to merge 1 commit into

pq-code-package:mainpq-code-package/mldsa-native:mainfrom

trailofbits:fix/hol-light-unsupported-arch-exits-zerotrailofbits/ptp-mldsa-native:fix/hol-light-unsupported-arch-exits-zeroCopy head branch name to clipboard