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

7 jobs for develop in 13 minutes (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #188017
docker-arm
build_lite_arm

00:07:58

passed #188016
docker-noavx2
build_lite_x86

00:05:12

 
  Build2
passed #188019
docker-arm
build_full_arm

00:02:29

passed #188018
docker-noavx2
build_full_x86

00:02:02

 
  Deploy
passed #188022
docker-noavx2
deploy_branch

00:01:30

passed #188021
docker-noavx2
deploy_full

00:02:29

passed #188020
docker-noavx2
deploy_lite

00:01:28