build

document refresh #4518

Job	Run time
pre-commit	29s
ghcr-build-and-push-on-develop	-1s
test (ubuntu-22.04, 3.12)	1m 4s
test (ubuntu-22.04, 3.11)	53s
test (ubuntu-22.04, 3.10)	1m 1s
test (ubuntu-22.04, 3.9)	14m 2s
test (macos-13, 3.12)	1m 40s
test (ubuntu-22.04, 3.13)	14m 1s
test (macos-13, 3.9)	14m 1s
test (macos-13, 3.11)	1m 44s
test (macos-13, 3.10)	1m 16s
test (windows-2022, 3.9)	13m 58s
test (windows-2022, 3.10)	2m 11s
test (macos-13, 3.13)	13m 53s
test (windows-2022, 3.13)	13m 59s
test (windows-2022, 3.12)	1m 57s
test (windows-2022, 3.11)	2m 12s
package	1s
SonarCloud	1s
check-deploy	1s
deploy	1s
ghcr-build-and-push-on-release	1s
	1h 38m 25s

Provide feedback