Cryptodoc: Kyber -> ML-KEM #1128

Job	Run time
Check Upstream Source Archive	29s
Build PDF - Audit Report	3m 10s
Build PDF - Crypto Documentation	1m 44s
BSI Build Policy Tests (static, windows-2022, msvc, ninja)	19m 32s
Build PDF - Audit Method Description	1m 38s
BSI Build Policy Tests (static, ubuntu-latest, gcc, make)	10m 9s
Build PDF - Test Specification	3m 43s
Check source URLs - Crypto Documentation	1m 35s
Source Archive	13s
Build PDF - Architecture Overview	2m 2s
BSI Build Policy Tests (static, ubuntu-latest, clang, make)	11m 14s
Check source URLs - Audit Method Description	29s
BSI Build Policy Tests (static, macos-13, xcode, make)	13m 44s
BSI Build Policy Tests (static, macos-14, xcode, make)	6m 18s
Utility (Documentation, pdf_docs, documentation, build/build/docs/handbook/botan.pdf build/build/...	2m 25s
Check source URLs - Test Specification	1m 24s
Utility (Coverage Report, coverage, coverage, build/coverage.zip, ubuntu-latest)	20m 53s
BSI Build Policy Tests (shared, windows-2022, msvc, ninja)	23m 29s
Check source URLs - Architecture	31s
BSI Build Policy Tests (shared, ubuntu-latest, gcc, make)	10m 27s
BSI Build Policy Tests (shared, ubuntu-latest, clang, make)	11m 55s
BSI Build Policy Tests (shared, macos-13, xcode, make)	18m 26s
BSI Build Policy Tests (shared, macos-14, xcode, make)	7m 19s
Generate Test Report	2m 9s
Collect Submission Artifacts	0s
	2h 54m 58s

Provide feedback