Merge branch 'develop' into server-develop

17 jobs for server-develop in 10 minutes and 3 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Prepare
passed #184390
linux
mat_common

00:00:30

passed #184392
linux
mat_macos

00:00:26

passed #184391
linux
mat_submodules

00:03:23

passed #184393
linux
mat_windows

00:02:22

 
  Build
passed #184398
linux
exec_debian

00:02:25

passed #184401
arm
exec_debianarm

00:02:41

passed #184396
noavx2
exec_linux

00:01:39

passed #184397
avx2
exec_linux_pro3

00:01:39

passed #184399
arm
exec_linuxarm

00:02:51

passed #184400
arm
exec_linuxarm_pro3

00:03:51

passed #184403
macos-m1
exec_macos_arm64

00:01:40

passed #184405
macos-m1
exec_macos_arm64_pro3

00:01:39

passed #184402
macos
exec_macos_x64

00:02:04

passed #184404
macos
exec_macos_x64_pro3

00:02:25

passed #184394
vs
exec_windows

00:01:56

passed #184395
vs
exec_windows_pro3

00:01:37

 
  Combine
passed #184406
macos
exec_macos

00:00:06