Update script to develop

17 jobs for server-develop in 10 minutes and 30 seconds (queued for 12 seconds)
Status Job ID Name Coverage
  Prepare
passed #191194
linux
mat_common

00:00:37

passed #191196
linux
mat_macos

00:00:37

passed #191195
linux
mat_submodules

00:00:52

passed #191197
linux
mat_windows

00:00:26

 
  Build
passed #191202
linux
exec_debian

00:07:13

passed #191205
arm
exec_debianarm

00:05:14

passed #191200
noavx2
exec_linux

00:06:21

passed #191201
avx2
exec_linux_pro3

00:02:49

passed #191203
arm
exec_linuxarm

00:03:07

passed #191204
arm
exec_linuxarm_pro3

00:08:58

passed #191207
macos-m1
exec_macos_arm64

00:02:35

passed #191209
macos-m1
exec_macos_arm64_pro3

00:02:48

passed #191206
macos
exec_macos_x64

00:03:59

passed #191208
macos
exec_macos_x64_pro3

00:04:03

passed #191198
vs
exec_windows

00:02:08

passed #191199
vs
exec_windows_pro3

00:02:07

 
  Combine
passed #191210
macos
exec_macos

00:00:24