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

Update gitignore

5 jobs for master in 4 minutes and 51 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build Testinstall
passed #296067
dailyBuildMasterAll

00:02:31

 
  Doc Coverage
passed #296070
Doc

00:01:57

passed #296069
TestCoverage

00:01:38

93.0%
 
  Deploy
passed #296072
pages

00:00:22

passed pages:deploy

00:01:09