Merge branch 'develop' into server-develop

17 jobs for server-develop in 4 minutes and 30 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Prepare
passed #187127
linux
mat_common

00:00:26

passed #187129
linux
mat_macos

00:00:26

passed #187128
linux
mat_submodules

00:00:26

passed #187130
linux
mat_windows

00:00:14

 
  Build
passed #187135
linux
exec_debian

00:02:13

passed #187138
arm
exec_debianarm

00:02:19

passed #187133
noavx2
exec_linux

00:03:38

passed #187134
avx2
exec_linux_pro3

00:01:03

passed #187136
arm
exec_linuxarm

00:02:04

passed #187137
arm
exec_linuxarm_pro3

00:02:25

passed #187140
macos-m1
exec_macos_arm64

00:01:27

passed #187142
macos-m1
exec_macos_arm64_pro3

00:01:13

passed #187139
macos
exec_macos_x64

00:02:31

passed #187141
macos
exec_macos_x64_pro3

00:02:30

passed #187131
vs
exec_windows

00:02:07

passed #187132
vs
exec_windows_pro3

00:01:47

 
  Combine
passed #187143
macos
exec_macos

00:00:06