Merge branch 'develop' of ../srvpro into develop

7 jobs for develop in 11 minutes and 10 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #188921
docker-arm
build_lite_arm

00:06:40

passed #188920
docker-noavx2
build_lite_x86

00:04:23

 
  Build2
passed #188923
docker-arm
build_full_arm

00:02:20

passed #188922
docker-noavx2
build_full_x86

00:02:12

 
  Deploy
passed #188926
docker-noavx2
deploy_branch

00:02:00

passed #188925
docker-noavx2
deploy_full

00:02:07

passed #188924
docker-noavx2
deploy_lite

00:01:56