Merge branch 'master' into server

18 jobs for server in 20 minutes and 32 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Prepare
passed #180407
linux
mat_common

00:00:14

passed #180409
linux
mat_macos

00:00:17

passed #180408
linux
mat_submodules

00:06:30

passed #180410
linux
mat_windows

00:00:09

 
  Build
passed #180415
linux
exec_debian

00:06:27

passed #180418
arm
exec_debianarm

00:02:25

passed #180413
linux
exec_linux

00:07:12

passed #180414
linux
exec_linux_pro3

00:01:03

passed #180416
arm
exec_linuxarm

00:04:09

passed #180417
arm
exec_linuxarm_pro3

00:07:31

passed #180420
macos-m1
exec_macos_arm64

00:01:38

passed #180422
macos-m1
exec_macos_arm64_pro3

00:01:39

passed #180419
macos
exec_macos_x64

00:03:18

passed #180421
macos
exec_macos_x64_pro3

00:03:19

passed #180411
vs
exec_windows

00:02:29

passed #180412
vs
exec_windows_pro3

00:01:59

 
  Combine
passed #180423
macos
exec_macos

00:00:07

 
  Deploy
passed #180424
linux
upload_to_minio

00:00:25