Merge branch 'develop' into server-develop

19 jobs for server-develop in 12 minutes and 31 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Prepare
passed #230918
linux
mat_common

00:00:13

passed #230920
linux
mat_macos

00:01:19

passed #230919
linux
mat_submodules

00:00:15

passed #230921
linux
mat_windows

00:00:10

 
  Build
passed #230928
linux
exec_debian

00:01:17

passed #230931
arm
exec_debianarm

00:03:43

passed #230926
noavx2
exec_linux

00:02:31

passed #230927
avx2
exec_linux_pro3

00:00:57

passed #230929
arm
exec_linuxarm

00:02:55

passed #230930
arm
exec_linuxarm_pro3

00:02:49

passed #230933
macos-m1
exec_macos_arm64

00:02:32

passed #230935
macos-m1
exec_macos_arm64_pro3

00:02:35

passed #230932
macos
exec_macos_x64

00:02:19

passed #230934
macos
exec_macos_x64_pro3

00:02:14

passed #230922
vs
exec_windows

00:02:02

passed #230925
vs
exec_windows_mdpro2

00:01:44

passed #230923
vs
exec_windows_pro2

00:01:44

passed #230924
vs
exec_windows_pro3

00:01:46

 
  Combine
passed #230936
macos
exec_macos

00:00:06