Merge branch 'server-develop' into server-develop-8888

19 jobs for server-develop-8888 in 9 minutes and 43 seconds (queued for 8 seconds)
latest
Status Job ID Name Coverage
  Prepare
passed #203039
linux
mat_common

00:01:43

passed #203041
linux
mat_macos

00:01:41

passed #203040
linux
mat_submodules

00:01:54

passed #203042
linux
mat_windows

00:01:40

 
  Build
passed #203049
linux
exec_debian

00:03:25

passed #203052
arm
exec_debianarm

00:03:06

passed #203047
noavx2
exec_linux

00:02:50

passed #203048
avx2
exec_linux_pro3

00:01:04

passed #203050
arm
exec_linuxarm

00:02:56

passed #203051
arm
exec_linuxarm_pro3

00:02:49

passed #203054
macos-m1
exec_macos_arm64

00:01:06

passed #203056
macos-m1
exec_macos_arm64_pro3

00:01:06

passed #203053
macos
exec_macos_x64

00:02:20

passed #203055
macos
exec_macos_x64_pro3

00:02:20

passed #203043
vs
exec_windows

00:02:33

passed #203046
vs
exec_windows_mdpro2

00:01:43

passed #203044
vs
exec_windows_pro2

00:01:39

passed #203045
vs
exec_windows_pro3

00:01:45

 
  Combine
passed #203057
macos
exec_macos

00:00:06