Merge branch 'master' into split-files #140

Job	Run time
Run on macos-14 with SOFA master	2m 26s
Run on windows-2022 with SOFA master	9m 39s
Run on ubuntu-22.04 with SOFA master	3m 37s
Deploy artifacts	0s
	15m 42s

Provide feedback