Repository navigation

Merge pull request #341 from AdaWorldAPI/ccr-a86d1f2f-015t11 #121

Job	Run time
realization/nightly × x86_64	2m 5s
realization/host-native × x86_64 (informational)	1m 24s
realization/avx2 × x86_64	2m 18s
realization/neon × aarch64	2m 36s
realization/wasm + scalar × wasm32	1m 54s
realization/avx512 × x86_64	1m 40s
	11m 57s