Merge branch 'develop' into server-develop

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

00:00:22

passed #183241
linux
mat_macos

00:00:15

passed #183240
linux
mat_submodules

00:01:08

passed #183242
linux
mat_windows

00:00:22

 
  Build
passed #183247
linux
exec_debian

00:01:13

passed #183250
arm
exec_debianarm

00:02:48

passed #183245
noavx2
exec_linux

00:01:25

passed #183246
avx2
exec_linux_pro3

00:01:25

passed #183248
arm
exec_linuxarm

00:03:07

passed #183249
arm
exec_linuxarm_pro3

00:02:53

passed #183252
macos-m1
exec_macos_arm64

00:01:28

passed #183254
macos-m1
exec_macos_arm64_pro3

00:01:28

passed #183251
macos
exec_macos_x64

00:02:32

passed #183253
macos
exec_macos_x64_pro3

00:02:30

passed #183243
vs
exec_windows

00:02:04

passed #183244
vs
exec_windows_pro3

00:01:38

 
  Combine
passed #183255
macos
exec_macos

00:00:04