Port: CI Extend testing of autogen#868

willieyz wants to merge 2 commits intomainpq-code-package/mldsa-native:mainfrom

hol_light_bytecode_autogenpq-code-package/mldsa-native:hol_light_bytecode_autogenCopy head branch name to clipboard