Merge branch 'develop' into server-develop

19 jobs for server-develop in 12 minutes and 1 second (queued for 3 seconds)
Status Job ID Name Coverage
  Prepare
passed #202958
linux
mat_common

00:01:32

passed #202960
linux
mat_macos

00:01:29

passed #202959
linux
mat_submodules

00:00:58

passed #202961
linux
mat_windows

00:00:28

 
  Build
passed #202968
linux
exec_debian

00:03:35

passed #202971
arm
exec_debianarm

00:02:44

passed #202966
noavx2
exec_linux

00:02:46

passed #202967
avx2
exec_linux_pro3

00:01:28

passed #202969
arm
exec_linuxarm

00:02:33

passed #202970
arm
exec_linuxarm_pro3

00:02:49

passed #202973
macos-m1
exec_macos_arm64

00:01:11

passed #202975
macos-m1
exec_macos_arm64_pro3

00:01:19

passed #202972
macos
exec_macos_x64

00:02:08

passed #202974
macos
exec_macos_x64_pro3

00:02:08

passed #202962
vs
exec_windows

00:01:46

passed #202965
vs
exec_windows_mdpro2

00:01:42

passed #202963
vs
exec_windows_pro2

00:01:36

passed #202964
vs
exec_windows_pro3

00:01:40

 
  Combine
passed #202976
macos
exec_macos

00:00:05