Repository navigation

Merge pull request #6110 from martin-frbg/issue6106 #3313

Job	Run time
xbuild-x86_64	11m 7s
xbuild-ios	4m 45s
build-windows (make, gfortran, 0, 0)	8m 53s
xbuild-ios32	8m 58s
build-windows (make, gfortran, 0, 1)	5m 26s
build-windows (cmake, gfortran, 1, 0)	29m 15s
build-windows (cmake, gfortran, 0, 0)	28m 24s
build-windows (make, gfortran, 1, 0)	7m 22s
build-windows (make, gfortran, 1, 1)	5m 24s
build-windows (cmake, gfortran, 0, 1)	29m 37s
build-windows (cmake, gfortran, 1, 1)	40m 22s
	2h 59m 33s