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

Ready for version 1.7.2

5 jobs for v1.7.2 in 4 minutes and 22 seconds (queued for 8 seconds)
latest
Status Job ID Name Coverage
  Build Testinstall
passed #314747
dailyBuildMasterAll

00:01:39

 
  Doc Coverage
passed #314751
Doc

00:01:28

passed #314749
TestCoverage

00:01:01

93.0%
 
  Deploy
passed #314753
pages

00:00:14

passed pages:deploy

00:01:41