Repository navigation

Fix compilation warning #2075

Job	Run time
Run Tests (ubuntu-latest, Debug)	9m 15s
Run Tests (ubuntu-latest, Release)	8m 24s
Run Tests (macos-latest, Release)	8m 7s
Run Tests (macos-latest, Debug)	15m 1s
Run Tests (macos-latest, Debug)	15m 2s
Run Tests (ubuntu-latest, Release)	8m 24s
Run Tests (macos-latest, Release)	8m 7s
Run Tests (ubuntu-latest, Debug)	9m 15s
Run Tests (macos-latest, Debug)	15m 24s
Run Tests (ubuntu-latest, Release)	8m 24s
Run Tests (macos-latest, Release)	8m 7s
Run Tests (ubuntu-latest, Debug)	9m 15s
	2h 2m 45s