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

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

00:06:10

passed #205296
docker-noavx2
build_lite_x86

00:02:36

 
  Build2
passed #205299
docker-arm
build_full_arm

00:02:16

passed #205298
docker-noavx2
build_full_x86

00:01:29

 
  Deploy
passed #205302
docker-noavx2
deploy_branch

00:02:43

passed #205301
docker-noavx2
deploy_full

00:00:40

passed #205300
docker-noavx2
deploy_lite

00:00:34