Merge branch 'server' into server-develop

9 jobs for server-develop in 8 minutes and 43 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Prepare
passed #161736
linux
mat_common

00:00:25

passed #161738
linux
mat_linux

00:04:06

passed #161737
linux
mat_submodules

00:00:54

passed #161739
linux
mat_windows

00:00:32

 
  Build
passed #161744
linux
exec_debian

00:03:04

passed #161743
linux
exec_linux

00:03:04

passed #161740
vs
exec_windows

00:01:30

failed #161742
linux
exec_debian

00:03:26

failed #161741
linux
exec_linux

00:03:26