build

merge with develop #4927

Job	Run time
pre-commit	34s
ghcr-build-and-push-on-develop	0s
test (windows-2022, 3.11)	2m 18s
test (ubuntu-22.04, 3.11)	1m 11s
test (ubuntu-22.04, 3.14)	3h 12m 8s
test (windows-2022, 3.10)	2h 11m 6s
test (ubuntu-22.04, 3.10)	3h 1m 41s
test (ubuntu-22.04, 3.12)	1m 20s
test (windows-2022, 3.13)	1m 58s
test (ubuntu-22.04, 3.13)	1m 16s
test (macos-13, 3.12)	1s
test (macos-13, 3.11)	1s
test (macos-13, 3.14)	1s
test (macos-13, 3.10)	1s
test (macos-13, 3.13)	1s
test (windows-2022, 3.14)	2h 4m 50s
test (windows-2022, 3.12)	2m 9s
SonarCloud	1m 23s
package	0s
deploy	0s
ghcr-build-and-push-on-release	0s
check-deploy	0s
	10h 41m 59s

Provide feedback