Merge develop into server-develop

19 jobs for server-develop in 24 minutes and 2 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Prepare
passed #229948
linux
mat_common

00:00:09

passed #229950
linux
mat_macos

00:00:13

passed #229949
linux
mat_submodules

00:00:16

passed #229951
linux
mat_windows

00:00:08

 
  Build
passed #229958
linux
exec_debian

00:04:20

passed #229961
arm
exec_debianarm

00:03:07

passed #229956
noavx2
exec_linux

00:04:08

passed #229957
avx2
exec_linux_pro3

00:00:47

passed #229959
arm
exec_linuxarm

00:04:27

passed #229960
arm
exec_linuxarm_pro3

00:23:39

passed #229963
macos-m1
exec_macos_arm64

00:01:06

passed #229965
macos-m1
exec_macos_arm64_pro3

00:01:10

passed #229962
macos
exec_macos_x64

00:02:14

passed #229964
macos
exec_macos_x64_pro3

00:02:14

passed #229952
vs
exec_windows

00:02:26

passed #229955
vs
exec_windows_mdpro2

00:02:04

passed #229953
vs
exec_windows_pro2

00:02:01

passed #229954
vs
exec_windows_pro3

00:01:51

 
  Combine
passed #229966
macos
exec_macos

00:00:04