Merge branch 'mc'

8 jobs for master in 80 minutes and 20 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #25510
docker-arm
build_lite_arm

00:56:39

passed #25509
docker
build_lite_x86

00:04:02

 
  Build2
passed #25512
docker-arm
build_full_arm

00:22:23

passed #25511
docker
build_full_x86

00:01:44

passed #25513
docker
combine_lite

00:00:37

 
  Combine
passed #25514
docker
combine_full

00:00:15

 
  Deploy
passed #25515
docker
deploy_latest_full

00:01:01

passed #25516
docker
deploy_latest_lite

00:00:16