Merge branch 'master' into server

20 jobs for server in 8 minutes and 17 seconds (queued for 1 second)
Status Job ID Name Coverage
  Prepare
passed #215953
linux
mat_common

00:00:06

passed #215955
linux
mat_macos

00:01:19

passed #215954
linux
mat_submodules

00:00:22

passed #215956
linux
mat_windows

00:00:05

 
  Build
passed #215963
linux
exec_debian

00:02:55

passed #215966
arm
exec_debianarm

00:02:27

passed #215961
noavx2
exec_linux

00:01:37

passed #215962
avx2
exec_linux_pro3

00:00:39

passed #215964
arm
exec_linuxarm

00:01:48

passed #215965
arm
exec_linuxarm_pro3

00:03:12

passed #215968
macos-m1
exec_macos_arm64

00:01:36

passed #215970
macos-m1
exec_macos_arm64_pro3

00:01:35

failed #215967
macos
exec_macos_x64

00:00:00

failed #215969
macos
exec_macos_x64_pro3

00:00:00

passed #215957
vs
exec_windows

00:01:44

passed #215960
vs
exec_windows_mdpro2

00:01:48

passed #215958
vs
exec_windows_pro2

00:01:41

passed #215959
vs
exec_windows_pro3

00:01:42

 
  Combine
skipped #215971
macos
exec_macos
 
  Deploy
skipped #215972
linux
upload_to_minio
 
Name Stage Failure
failed
exec_macos_x64_pro3 Build
Running with gitlab-runner 17.0.0 (44feccdf)
on macOS fHodgzx7, system ID: s_f7463d522e44

Preparing the "shell" executor
Using Shell (bash) executor...
Preparing environment
ERROR: Job failed: prepare environment: signal: killed. Check https://docs.gitlab.com/runner/shells/index.html#shell-profile-loading for more information

failed
exec_macos_x64 Build
Running with gitlab-runner 17.0.0 (44feccdf)
on macOS fHodgzx7, system ID: s_f7463d522e44

Preparing the "shell" executor
Using Shell (bash) executor...
Preparing environment
ERROR: Job failed: prepare environment: signal: killed. Check https://docs.gitlab.com/runner/shells/index.html#shell-profile-loading for more information