Merge branch 'master' into 'master'

Migration to new infrastructure

See merge request osdevelopment-info/tutorial-x86!7
3 jobs for master in 5 minutes and 29 seconds (queued for 11 seconds)
Status Job ID Name Coverage
  Build
passed #90444740
pdf

00:04:50

 
  Deploy
passed #90444741
pages

00:00:38

passed pages:deploy

00:00:00