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

Ready for version 1.7.2

5 jobs for v1.7.2 in 14 minutes and 30 seconds (queued for 6 seconds)
latest
Status Job ID Name Coverage
  Build Testinstall
passed #314760
dailyBuildMasterAll

00:03:15

 
  Doc Coverage
passed #314762
Doc

00:03:20

passed #314761
TestCoverage

00:07:29

91.0%
 
  Deploy
passed #314763
pages

00:00:25

passed pages:deploy

00:02:33