Merge branch 'develop' into server-develop

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

00:02:29

passed #191153
linux
mat_macos

00:02:22

passed #191152
linux
mat_submodules

00:02:15

passed #191154
linux
mat_windows

00:00:36

 
  Build
passed #191159
linux
exec_debian

00:04:21

passed #191162
arm
exec_debianarm

00:02:24

passed #191157
noavx2
exec_linux

00:04:52

passed #191158
avx2
exec_linux_pro3

00:02:04

passed #191160
arm
exec_linuxarm

00:03:58

passed #191161
arm
exec_linuxarm_pro3

00:04:41

passed #191164
macos-m1
exec_macos_arm64

00:02:30

passed #191166
macos-m1
exec_macos_arm64_pro3

00:02:22

passed #191163
macos
exec_macos_x64

00:03:27

passed #191165
macos
exec_macos_x64_pro3

00:03:27

passed #191155
vs
exec_windows

00:02:10

passed #191156
vs
exec_windows_pro3

00:01:46

 
  Combine
passed #191167
macos
exec_macos

00:00:07