Merge branch 'dev' into dev #17

Job	Run time
tests (ubuntu-latest, unit, 3.8)	52s
tests (ubuntu-latest, unit, 3.9)	44s
tests (ubuntu-latest, unit, 3.10)	1m 10s
tests (ubuntu-latest, unit, 3.11)	39s
tests (ubuntu-latest, unit, 3.12)	1m 10s
tests (ubuntu-latest, integration, 3.8)	2m 52s
tests (ubuntu-latest, integration, 3.9)	3m 8s
tests (ubuntu-latest, integration, 3.10)	2m 29s
tests (ubuntu-latest, integration, 3.11)	2m 47s
tests (ubuntu-latest, integration, 3.12)	3m 10s
tests (ubuntu-latest, tool, 3.8)	1m 9s
tests (ubuntu-latest, tool, 3.9)	56s
tests (ubuntu-latest, tool, 3.10)	54s
tests (ubuntu-latest, tool, 3.11)	52s
tests (ubuntu-latest, tool, 3.12)	59s
tests (windows-2022, unit, 3.8)	1m 42s
tests (windows-2022, unit, 3.9)	2m 26s
tests (windows-2022, unit, 3.10)	2m 19s
tests (windows-2022, unit, 3.11)	2m 16s
tests (windows-2022, unit, 3.12)	2m 39s
tests (windows-2022, integration, 3.8)	3m 21s
tests (windows-2022, integration, 3.9)	3m 7s
tests (windows-2022, integration, 3.10)	3m 57s
tests (windows-2022, integration, 3.11)	2m 47s
tests (windows-2022, integration, 3.12)	4m 30s
tests (windows-2022, tool, 3.8)	2m 34s
tests (windows-2022, tool, 3.9)	3m 6s
tests (windows-2022, tool, 3.10)	5m 54s
tests (windows-2022, tool, 3.11)	3m 18s
tests (windows-2022, tool, 3.12)	4m 32s
coverage	10s
	1h 12m 29s

Provide feedback