Back to development

2 jobs for master in 1 minute and 3 seconds (queued for 26 seconds)
Status Job ID Name Coverage
  Build
passed #11888
build

00:00:25

 
  Distcheck
passed #11889
distcheck

00:00:37