Merge pull request #1375 from rolalaro/doc_exp_map #1746

Job	Run time
build-ubuntu-dep-apt (ubuntu-20.04, /usr/bin/gcc-9, /usr/bin/g++-9, 98)	7m 49s
build-ubuntu-dep-apt (ubuntu-20.04, /usr/bin/gcc-9, /usr/bin/g++-9, 11)	28m 5s
build-ubuntu-dep-apt (ubuntu-20.04, /usr/bin/gcc-9, /usr/bin/g++-9, 17)	29m 28s
build-ubuntu-dep-apt (ubuntu-20.04, /usr/bin/gcc-10, /usr/bin/g++-10, 98)	7m 24s
build-ubuntu-dep-apt (ubuntu-20.04, /usr/bin/gcc-10, /usr/bin/g++-10, 11)	24m 8s
build-ubuntu-dep-apt (ubuntu-20.04, /usr/bin/gcc-10, /usr/bin/g++-10, 17)	26m 16s
build-ubuntu-dep-apt (ubuntu-20.04, /usr/bin/clang, /usr/bin/clang++, 98)	8m 42s
build-ubuntu-dep-apt (ubuntu-20.04, /usr/bin/clang, /usr/bin/clang++, 11)	31m 55s
build-ubuntu-dep-apt (ubuntu-20.04, /usr/bin/clang, /usr/bin/clang++, 17)	34m 58s
build-ubuntu-dep-apt (ubuntu-22.04, /usr/bin/gcc-9, /usr/bin/g++-9, 98)	6m 46s
build-ubuntu-dep-apt (ubuntu-22.04, /usr/bin/gcc-9, /usr/bin/g++-9, 11)	22m 27s
build-ubuntu-dep-apt (ubuntu-22.04, /usr/bin/gcc-9, /usr/bin/g++-9, 17)	26m 22s
build-ubuntu-dep-apt (ubuntu-22.04, /usr/bin/gcc-10, /usr/bin/g++-10, 98)	7m 31s
build-ubuntu-dep-apt (ubuntu-22.04, /usr/bin/gcc-10, /usr/bin/g++-10, 11)	24m 57s
build-ubuntu-dep-apt (ubuntu-22.04, /usr/bin/gcc-10, /usr/bin/g++-10, 17)	28m 0s
build-ubuntu-dep-apt (ubuntu-22.04, /usr/bin/clang, /usr/bin/clang++, 98)	9m 43s
build-ubuntu-dep-apt (ubuntu-22.04, /usr/bin/clang, /usr/bin/clang++, 11)	33m 25s
build-ubuntu-dep-apt (ubuntu-22.04, /usr/bin/clang, /usr/bin/clang++, 17)	37m 28s
	6h 35m 24s

Provide feedback