Merge branch 'develop' into server-develop

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

00:00:18

passed #185586
linux
mat_macos

00:00:32

passed #185585
linux
mat_submodules

00:00:35

passed #185587
linux
mat_windows

00:00:31

 
  Build
passed #185592
linux
exec_debian

00:01:11

passed #185595
arm
exec_debianarm

00:02:19

passed #185590
noavx2
exec_linux

00:01:12

passed #185591
avx2
exec_linux_pro3

00:01:50

passed #185593
arm
exec_linuxarm

00:03:05

passed #185594
arm
exec_linuxarm_pro3

00:01:52

passed #185597
macos-m1
exec_macos_arm64

00:01:17

passed #185603
macos-m1
exec_macos_arm64_pro3

00:01:24

passed #185596
macos
exec_macos_x64

00:02:04

passed #185602
macos
exec_macos_x64_pro3

00:01:41

passed #185588
vs
exec_windows

00:01:57

passed #185589
vs
exec_windows_pro3

00:01:43

failed #185599
macos-m1
exec_macos_arm64_pro3

00:00:01

failed #185598
macos
exec_macos_x64_pro3

00:01:24

 
  Combine
passed #185600
macos
exec_macos

00:00:15