Merge branch 'server-develop' into server

19 jobs for server in 8 minutes (queued for 3 seconds)
Status Job ID Name Coverage
  Prepare
passed #190610
linux
mat_common

00:00:12

passed #190612
linux
mat_macos

00:00:14

passed #190611
linux
mat_submodules

00:00:40

passed #190613
linux
mat_windows

00:00:13

 
  Build
passed #190618
linux
exec_debian

00:01:17

passed #190621
arm
exec_debianarm

00:03:02

passed #190616
noavx2
exec_linux

00:01:27

passed #190617
avx2
exec_linux_pro3

00:01:05

passed #190619
arm
exec_linuxarm

00:02:54

passed #190620
arm
exec_linuxarm_pro3

00:03:06

passed #190623
macos-m1
exec_macos_arm64

00:01:32

passed #190625
macos-m1
exec_macos_arm64_pro3

00:01:23

passed #191120
macos
exec_macos_x64

00:01:53

passed #190624
macos
exec_macos_x64_pro3

00:01:47

passed #190614
vs
exec_windows

00:03:07

passed #190615
vs
exec_windows_pro3

00:01:50

failed #190622
macos
exec_macos_x64

00:00:03

 
  Combine
passed #190626
macos
exec_macos

00:00:10

 
  Deploy
passed #190627
linux
upload_to_minio

00:00:17