Merge branch 'develop' into server-develop

17 jobs for server-develop in 10 minutes and 9 seconds (queued for 5 seconds)
Status Job ID Name Coverage
  Prepare
passed #181567
linux
mat_common

00:02:13

passed #181569
linux
mat_macos

00:02:12

passed #181568
linux
mat_submodules

00:02:12

passed #181570
linux
mat_windows

00:02:12

 
  Build
passed #181575
linux
exec_debian

00:01:53

passed #181578
arm
exec_debianarm

00:03:09

passed #181573
noavx2
exec_linux

00:01:53

passed #181574
avx2
exec_linux_pro3

00:01:32

passed #181576
arm
exec_linuxarm

00:04:28

passed #181577
arm
exec_linuxarm_pro3

00:07:43

passed #181580
macos-m1
exec_macos_arm64

00:01:06

passed #181582
macos-m1
exec_macos_arm64_pro3

00:01:06

passed #181579
macos
exec_macos_x64

00:03:17

passed #181581
macos
exec_macos_x64_pro3

00:03:17

passed #181571
vs
exec_windows

00:01:44

passed #181572
vs
exec_windows_pro3

00:01:45

 
  Combine
passed #181583
macos
exec_macos

00:00:06