Merge branch 'master' into ai-play

7 jobs for ai-play in 16 minutes and 50 seconds (queued for 2 seconds)
latest
Status Job ID Name Coverage
  Build
passed #193863
docker-arm
build_lite_arm

00:07:00

passed #193862
docker-noavx2
build_lite_x86

00:05:53

 
  Build2
passed #193865
docker-arm
build_full_arm

00:02:08

passed #193864
docker-noavx2
build_full_x86

00:02:38

 
  Deploy
passed #193868
docker-noavx2
deploy_branch

00:01:15

passed #193867
docker-noavx2
deploy_full

00:01:16

passed #193866
docker-noavx2
deploy_lite

00:01:16