Merge branch 'master' into server

18 jobs for server in 6 minutes and 47 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Prepare
passed #180142
linux
mat_common

00:00:10

passed #180144
linux
mat_macos

00:00:14

passed #180143
linux
mat_submodules

00:01:03

passed #180145
linux
mat_windows

00:00:19

 
  Build
passed #180150
linux
exec_debian

00:04:02

passed #180153
arm
exec_debianarm

00:01:39

passed #180148
linux
exec_linux

00:01:47

passed #180149
linux
exec_linux_pro3

00:01:54

passed #180151
arm
exec_linuxarm

00:02:33

passed #180152
arm
exec_linuxarm_pro3

00:02:26

passed #180155
macos-m1
exec_macos_arm64

00:01:04

passed #180157
macos-m1
exec_macos_arm64_pro3

00:01:04

passed #180154
macos
exec_macos_x64

00:02:07

passed #180156
macos
exec_macos_x64_pro3

00:02:07

passed #180146
vs
exec_windows

00:02:48

passed #180147
vs
exec_windows_pro3

00:02:26

 
  Combine
passed #180158
macos
exec_macos

00:00:04

 
  Deploy
passed #180159
linux
upload_to_minio

00:00:22