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

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

00:06:15

passed #188376
docker-noavx2
build_lite_x86

00:02:50

 
  Build2
passed #188379
docker-arm
build_full_arm

00:01:41

passed #188378
docker-noavx2
build_full_x86

00:03:01

 
  Deploy
passed #188382
docker-noavx2
deploy_branch

00:01:20

passed #188381
docker-noavx2
deploy_full

00:01:00

passed #188380
docker-noavx2
deploy_lite

00:01:01