Merge branch 'develop' into server-develop

19 jobs for server-develop in 13 minutes and 40 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Prepare
passed #215678
linux
mat_common

00:00:12

passed #215680
linux
mat_macos

00:00:05

passed #215679
linux
mat_submodules

00:01:43

passed #215681
linux
mat_windows

00:01:20

 
  Build
passed #215688
linux
exec_debian

00:01:40

passed #215691
arm
exec_debianarm

00:08:19

passed #215686
noavx2
exec_linux

00:01:15

passed #215687
avx2
exec_linux_pro3

00:01:12

passed #215689
arm
exec_linuxarm

00:06:33

passed #215690
arm
exec_linuxarm_pro3

00:05:50

passed #215693
macos-m1
exec_macos_arm64

00:01:39

passed #215695
macos-m1
exec_macos_arm64_pro3

00:01:42

passed #215692
macos
exec_macos_x64

00:03:26

passed #215694
macos
exec_macos_x64_pro3

00:03:33

passed #215682
vs
exec_windows

00:02:05

passed #215685
vs
exec_windows_mdpro2

00:01:43

passed #215683
vs
exec_windows_pro2

00:01:53

passed #215684
vs
exec_windows_pro3

00:01:49

 
  Combine
passed #215696
macos
exec_macos

00:00:04