Bump sphinx from 7.1.1 to 7.1.2 #1387

Job	Run time
debug	2s
Retro-compatibility (3.10, windows-latest, 232)	19m 53s
Retro-compatibility (3.10, windows-latest, 231)	7m 23s
Retro-compatibility (3.10, windows-latest, 222)	4m 1s
Retro-compatibility (3.10, windows-latest, 221)	4m 28s
Retro-compatibility (3.10, ubuntu-latest, 232)	16m 54s
Retro-compatibility (3.10, ubuntu-latest, 231)	4m 34s
Retro-compatibility (3.10, ubuntu-latest, 222)	3m 50s
Retro-compatibility (3.10, ubuntu-latest, 221)	4m 29s
tests (3.8, windows-latest)	27m 51s
tests (3.8, ubuntu-latest)	19m 21s
tests (3.9, windows-latest)	26m 27s
tests (3.9, ubuntu-latest)	15m 5s
tests (3.10, windows-latest)	28m 6s
tests (3.10, ubuntu-latest)	21m 8s
Style Check	58s
docs / Documentation	11m 51s
examples / Setup	2s
docs / Check doc style / Documentation Style Check	49s
examples / Run Examples (3.10, windows-latest)	13m 31s
examples / Run Examples (3.10, ubuntu-latest)	9m 8s
upload-development-docs	0s
	3h 59m 51s

Provide feedback