.github/workflows: Update sourcegraph index task. #1717

Job	Run time
Run checks	48s
Check relative links in website	23s
Run benchmarks	1m 28s
Run tests (emulated riscv64)	1m 10s
Run tests (emulated s390x)	1m 21s
Upload SourceGraph index	22s
Run tests (ubuntu, 1.23.x)	1m 47s
Run tests (macos, 1.23.x)	58s
Run tests (windows, 1.23.x)	2m 32s
Run tests (ubuntu, 1.22.x)	45s
Upload test coverage (linux)	11s
Upload test coverage (macos)	6s
Upload test coverage (windows)	16s
	12m 7s

Provide feedback