Merge branch 'develop' into server-develop

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

00:00:23

passed #181676
linux
mat_macos

00:00:29

passed #181675
linux
mat_submodules

00:00:22

passed #181677
linux
mat_windows

00:00:21

 
  Build
passed #181682
linux
exec_debian

00:02:18

passed #181685
arm
exec_debianarm

00:03:04

passed #181680
noavx2
exec_linux

00:01:54

passed #181681
avx2
exec_linux_pro3

00:02:47

passed #181683
arm
exec_linuxarm

00:04:16

passed #181684
arm
exec_linuxarm_pro3

00:03:31

passed #181687
macos-m1
exec_macos_arm64

00:01:25

passed #181689
macos-m1
exec_macos_arm64_pro3

00:01:23

passed #181686
macos
exec_macos_x64

00:03:29

passed #181688
macos
exec_macos_x64_pro3

00:03:29

passed #181678
vs
exec_windows

00:01:50

passed #181679
vs
exec_windows_pro3

00:01:32

 
  Combine
passed #181690
macos
exec_macos

00:00:04