check-contracts: Detect contracts separated from prototype by a comment#1661

mkannwischer merged 1 commit intomainpq-code-package/mlkem-native:mainfrom

fix-check-contracts-regexpq-code-package/mlkem-native:fix-check-contracts-regexCopy head branch name to clipboard