Merge remote-tracking branch 'origin/master'

3 jobs for master in 49 seconds (queued for 7 seconds)
Status Job ID Name Coverage
  Build
passed #247335
build_docs

00:00:33

 
  Publish
passed #247336
pages

00:00:16

 
  Deploy
passed pages:deploy

00:00:00