minor fix #628

Job	Run time
verification (Debug, exceptions, 14, gcc)	5m 50s
docs	1m 5s
verification (Debug, exceptions, 14, clang)	4m 21s
verification (Debug, exceptions, 17, gcc)	5m 56s
verification (Debug, exceptions, 17, clang)	4m 31s
verification (Debug, exceptions, 20, gcc)	6m 2s
verification (Debug, exceptions, 20, clang)	7m 19s
verification (Debug, no-exceptions, 14, clang)	5m 53s
verification (Debug, no-exceptions, 17, gcc)	4m 43s
verification (Debug, no-exceptions, 17, clang)	3m 26s
verification (Debug, no-exceptions, 20, gcc)	5m 2s
verification (Debug, no-exceptions, 20, clang)	3m 41s
verification (Release, exceptions, 14, gcc)	7m 59s
verification (Release, exceptions, 14, clang)	8m 38s
verification (Release, exceptions, 17, gcc)	8m 47s
verification (Release, exceptions, 17, clang)	10m 26s
verification (Release, exceptions, 20, gcc)	8m 40s
verification (Release, exceptions, 20, clang)	9m 20s
verification (Release, no-exceptions, 14, gcc)	8m 48s
verification (Release, no-exceptions, 14, clang)	8m 25s
verification (Release, no-exceptions, 17, gcc)	6m 4s
verification (Release, no-exceptions, 17, clang)	8m 44s
verification (Release, no-exceptions, 20, gcc)	6m 0s
verification (Release, no-exceptions, 20, clang)	6m 35s
verification (Coverage, exceptions, 14, gcc)	9m 48s
sonarqube	1m 38s
deploy-docs	0s
	2h 47m 41s

Provide feedback