Merge pull request #729 from cryspen/franziskus/mldsa-c-ci #1309

Job	Run time
extract-header-only-ml-dsa	2m 59s
extract	3m 3s
extract-header-only-ml-kem	3m 25s
diff	7s
build (macos-latest)	4m 33s
build (ubuntu-latest)	23m 23s
build (windows-latest)	2m 49s
diff-header-only-ml-dsa	3s
build-header-only-ml-dsa (macos-latest)	17s
build-header-only-ml-dsa (ubuntu-latest)	18s
build-header-only-ml-dsa (windows-latest)	1m 43s
diff-header-only-ml-kem	9s
build-header-only-ml-kem (macos-latest)	20s
build-header-only-ml-kem (ubuntu-latest)	23s
build-header-only-ml-kem (windows-latest)	55s
	44m 27s

Provide feedback