Merge branch 'develop' into server-develop

17 jobs for server-develop in 8 minutes and 58 seconds (queued for 7 seconds)
Status Job ID Name Coverage
  Prepare
passed #187174
linux
mat_common

00:00:28

passed #187176
linux
mat_macos

00:01:59

passed #187175
linux
mat_submodules

00:00:17

passed #187177
linux
mat_windows

00:00:20

 
  Build
passed #187182
linux
exec_debian

00:03:00

passed #187185
arm
exec_debianarm

00:03:01

passed #187180
noavx2
exec_linux

00:02:26

passed #187181
avx2
exec_linux_pro3

00:01:13

passed #187183
arm
exec_linuxarm

00:04:39

passed #187184
arm
exec_linuxarm_pro3

00:03:56

passed #187187
macos-m1
exec_macos_arm64

00:01:54

passed #187189
macos-m1
exec_macos_arm64_pro3

00:01:49

passed #187186
macos
exec_macos_x64

00:02:56

passed #187188
macos
exec_macos_x64_pro3

00:02:39

passed #187178
vs
exec_windows

00:01:59

passed #187179
vs
exec_windows_pro3

00:02:01

 
  Combine
passed #187190
macos
exec_macos

00:00:14