build

[doc] Fix server id in docs #1773

Job	Run time
build-windows-latest (Visual Studio 17 2022)	12m 34s
build-windows-2019 (Visual Studio 16 2019)	19m 8s
build (ubuntu-20.04)	21m 19s
build-windows-2019 (MinGW Makefiles)	15m 33s
build (ubuntu-22.04)	19m 54s
build (macos-latest)	19m 18s
build (ubuntu-latest, ASAN, gcc-10, g++-10)	42m 57s
build (ubuntu-latest, TSAN, gcc-10, g++-10)	20m 52s
test-pyreindexer (ubuntu-20.04)	1m 54s
test (ubuntu-20.04, C++)	5m 9s
test-pyreindexer (ubuntu-22.04)	1m 5s
test (ubuntu-20.04, GO)	4m 39s
test (ubuntu-22.04, C++)	7m 18s
test (ubuntu-22.04, GO)	8m 14s
test (macos-latest, C++)	3s
test (macos-latest, GO)	10s
test (ubuntu-latest, C++, ASAN, gcc-10, g++-10)	11m 40s
test (ubuntu-latest, GO, ASAN)	10m 11s
test (ubuntu-latest, GO, TSAN)	16m 16s
	3h 58m 14s

Provide feedback