Merge branch 'develop' into server-develop

18 jobs for server-develop in 9 minutes and 43 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Prepare
passed #187986
linux
mat_common

00:00:12

passed #187988
linux
mat_macos

00:00:28

passed #187987
linux
mat_submodules

00:00:19

passed #187989
linux
mat_windows

00:00:12

 
  Build
passed #187994
linux
exec_debian

00:02:14

passed #187997
arm
exec_debianarm

00:02:41

passed #187992
noavx2
exec_linux

00:02:14

passed #187993
avx2
exec_linux_pro3

00:02:28

passed #187995
arm
exec_linuxarm

00:03:06

passed #187996
arm
exec_linuxarm_pro3

00:02:58

passed #187999
macos-m1
exec_macos_arm64

00:01:34

passed #188001
macos-m1
exec_macos_arm64_pro3

00:01:23

passed #187998
macos
exec_macos_x64

00:02:22

passed #188090
macos
exec_macos_x64_pro3

00:02:18

passed #187990
vs
exec_windows

00:01:42

passed #187991
vs
exec_windows_pro3

00:01:44

failed #188000
macos
exec_macos_x64_pro3

00:03:46

 
  Combine
passed #188002
macos
exec_macos

00:00:21