fixup! fixup! fixup! fixup! CMP: add documentation #1259

Job	Run time
compiler (gcc-7, ubuntu-20.04)	38s
compiler (gcc-8, ubuntu-20.04)	35s
compiler (gcc-9, ubuntu-20.04)	33s
compiler (gcc-10, ubuntu-20.04)	36s
compiler (gcc-11, ubuntu-22.04)	34s
compiler (gcc-12, ubuntu-22.04)	36s
compiler (gcc-13, ubuntu-22.04, ubuntu-toolchain-r/test)	1m 0s
compiler (clang-6.0, ubuntu-20.04)	44s
compiler (clang-7, ubuntu-20.04)	41s
compiler (clang-8, ubuntu-20.04)	49s
compiler (clang-9, ubuntu-20.04)	1m 2s
compiler (clang-10, ubuntu-20.04)	38s
compiler (clang-11, ubuntu-20.04)	37s
compiler (clang-12, ubuntu-20.04)	37s
compiler (clang-13, ubuntu-22.04)	46s
compiler (clang-14, ubuntu-22.04)	40s
compiler (clang-15, ubuntu-22.04, jammy)	40s
compiler (clang-16, ubuntu-22.04, jammy)	43s
compiler (clang-17, ubuntu-22.04, jammy)	44s
	13m 13s

Provide feedback