Merge branch 'develop' into server-develop

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

00:00:22

passed #181356
linux
mat_macos

00:00:42

passed #181355
linux
mat_submodules

00:01:26

passed #181357
linux
mat_windows

00:00:41

 
  Build
passed #181362
linux
exec_debian

00:01:26

passed #181365
arm
exec_debianarm

00:03:01

passed #181360
noavx2
exec_linux

00:02:39

passed #181361
avx2
exec_linux_pro3

00:01:50

passed #181363
arm
exec_linuxarm

00:04:03

passed #181364
arm
exec_linuxarm_pro3

00:08:17

passed #181367
macos-m1
exec_macos_arm64

00:01:10

passed #181369
macos-m1
exec_macos_arm64_pro3

00:01:24

passed #181366
macos
exec_macos_x64

00:02:42

passed #181368
macos
exec_macos_x64_pro3

00:02:37

passed #181358
vs
exec_windows

00:01:42

passed #181359
vs
exec_windows_pro3

00:01:43

 
  Combine
passed #181370
macos
exec_macos

00:00:04