Merge branch 'develop' into server-develop

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

00:00:16

passed #170348
linux
mat_linux

00:02:41

passed #170349
linux
mat_macos

00:00:39

passed #170347
linux
mat_submodules

00:01:31

passed #170350
linux
mat_windows

00:00:38

 
  Build
passed #170355
linux
exec_debian

00:02:28

passed #170358
arm
exec_debianarm

00:02:22

passed #170353
linux
exec_linux

00:02:35

passed #170354
linux
exec_linux_pro3

00:02:46

passed #170356
arm
exec_linuxarm

00:03:24

passed #170357
arm
exec_linuxarm_pro3

00:09:23

passed #170360
macos-m1
exec_macos_arm64

00:01:32

passed #170362
macos-m1
exec_macos_arm64_pro3

00:01:28

passed #170359
macos
exec_macos_x64

00:02:18

passed #170361
macos
exec_macos_x64_pro3

00:02:28

passed #170351
vs
exec_windows

00:01:44

passed #170352
vs
exec_windows_pro3

00:01:49

 
  Combine
passed #170363
macos
exec_macos

00:00:07