Merge branch 'master' into server

19 jobs for server in 25 minutes and 35 seconds (queued for 17 seconds)
Status Job ID Name Coverage
  Prepare
passed #191696
linux
mat_common

00:00:54

passed #191698
linux
mat_macos

00:00:54

passed #191697
linux
mat_submodules

00:01:13

passed #191714
linux
mat_windows

00:00:45

failed #191699
linux
mat_windows

00:00:53

 
  Build
passed #191704
linux
exec_debian

00:01:38

passed #191707
arm
exec_debianarm

00:02:17

passed #191702
noavx2
exec_linux

00:02:28

passed #191703
avx2
exec_linux_pro3

00:03:46

passed #191705
arm
exec_linuxarm

00:02:54

passed #191706
arm
exec_linuxarm_pro3

00:04:08

passed #191709
macos-m1
exec_macos_arm64

00:03:12

passed #191711
macos-m1
exec_macos_arm64_pro3

00:02:01

passed #191708
macos
exec_macos_x64

00:04:49

passed #191710
macos
exec_macos_x64_pro3

00:04:06

passed #191700
vs
exec_windows

00:02:40

passed #191701
vs
exec_windows_pro3

00:02:43

 
  Combine
passed #191712
macos
exec_macos

00:04:53

 
  Deploy
passed #191713
linux
upload_to_minio

00:01:03