Docker-in-Docker (DinD) capabilities of public runners deactivated. More info

Fix name of the built html directory

2 jobs for master in 48 seconds (queued for 1 second)
Status Job ID Name Coverage
  Docs
passed #184150
pages

00:00:48

 
  Deploy
passed pages:deploy

00:00:01