fixup! fixup! fixup! fixup! CMP: add documentation #1260

Job	Run time
compiler (gcc-7, ubuntu-20.04)	4m 18s
compiler (gcc-8, ubuntu-20.04)	4m 26s
compiler (gcc-9, ubuntu-20.04)	4m 33s
compiler (gcc-10, ubuntu-20.04)	4m 22s
compiler (gcc-11, ubuntu-22.04)	4m 21s
compiler (gcc-12, ubuntu-22.04)	4m 51s
compiler (gcc-13, ubuntu-22.04, ubuntu-toolchain-r/test)	5m 5s
compiler (clang-6.0, ubuntu-20.04)	4m 52s
compiler (clang-7, ubuntu-20.04)	4m 39s
compiler (clang-8, ubuntu-20.04)	4m 45s
compiler (clang-9, ubuntu-20.04)	5m 11s
compiler (clang-10, ubuntu-20.04)	4m 40s
compiler (clang-11, ubuntu-20.04)	4m 49s
compiler (clang-12, ubuntu-20.04)	4m 41s
compiler (clang-13, ubuntu-22.04)	5m 5s
compiler (clang-14, ubuntu-22.04)	4m 56s
compiler (clang-15, ubuntu-22.04, jammy)	4m 56s
compiler (clang-16, ubuntu-22.04, jammy)	5m 32s
compiler (clang-17, ubuntu-22.04, jammy)	5m 10s
	1h 31m 12s

Provide feedback