Proposal: API Extension #5158

Job	Run time
Linting (ubuntu-latest)	1m 21s
Linting (pqcp-arm64)	1m 22s
lint-markdown-link	39s
Quickcheck (aarch64)	9s
Quickcheck (x86_64)	10s
Quickcheck windows-latest	38s
Quickcheck C90 (aarch64)	1m 0s
Quickcheck windows-2022	31s
Quickcheck (macos (aarch64))	14s
Quickcheck (macos (x86_64))	25s
Quickcheck windows-2019	41s
Quickcheck C90 (x86_64)	9s
Quickcheck (Mingw-w64 5.4.0)	3m 16s
Quickcheck (Mingw-w64 11.2.0)	2m 31s
Quickcheck (Mingw-w64 12.2.0)	1m 52s
Check API consistency (false, pqcp-arm64, aarch64)	2s
Quickcheck (Mingw-w64 13.2.0)	3m 0s
Examples (macos-latest)	8s
Check API consistency (false, ubuntu-latest, x86_64)	2s
Quickcheck lib (macos-latest)	19s
Examples (macos-13)	12s
Quickcheck lib (macos-13)	23s
Examples (ubuntu-latest)	4s
Quickcheck lib (ubuntu-latest)	18s
AArch64 dev backend (Clean, Simplified)	1m 18s
Quickcheck lib (pqcp-arm64)	2s
Examples (pqcp-arm64)	1s
AArch64 dev backend (Clean, Unmodified)	1m 21s
AArch64 dev backend (Optimized, Simplified)	1m 21s
AArch64 dev backend (Optimized, Unmodified)	1m 19s
Test control-flow protections (${{ matrix.compiler.name }}, x86_64)	0s
Non-standard configurations	0s
Compatibility tests (${{ matrix.container.id }})	0s
Check autogenerated files	0s
Functional tests (${{ matrix.target.arch }}${{ (((matrix.target.mode != 'native') && ', cross') \|\| '') }})	0s
Compiler tests (${{ matrix.compiler.name }}, ${{ matrix.target.name }})	0s
Platform tests (${{ matrix.target.name }})	0s
CBMC (ML-KEM-512)	0s
CBMC (ML-KEM-768)	0s
Compatibility tests (${{ matrix.container.id }})	0s
CBMC (ML-KEM-1024)	0s
	24m 48s

Provide feedback