Merge branch 'server' into duplicate

17 jobs for duplicate in 11 minutes and 21 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Prepare
passed #190697
linux
mat_common

00:00:22

passed #190699
linux
mat_macos

00:00:24

passed #190698
linux
mat_submodules

00:04:01

passed #190700
linux
mat_windows

00:00:26

 
  Build
passed #190705
linux
exec_debian

00:03:54

passed #190708
arm
exec_debianarm

00:03:20

passed #190703
noavx2
exec_linux

00:03:10

passed #190704
avx2
exec_linux_pro3

00:03:11

passed #190706
arm
exec_linuxarm

00:03:41

passed #190707
arm
exec_linuxarm_pro3

00:03:53

passed #190710
macos-m1
exec_macos_arm64

00:01:20

passed #190712
macos-m1
exec_macos_arm64_pro3

00:02:12

passed #190709
macos
exec_macos_x64

00:04:36

passed #190711
macos
exec_macos_x64_pro3

00:04:30

passed #190701
vs
exec_windows

00:02:06

passed #190702
vs
exec_windows_pro3

00:01:42

 
  Combine
passed #190713
macos
exec_macos

00:00:04