merged

1 job for master in 8 minutes and 9 seconds (queued for 3 minutes and 3 seconds)
Status Job ID Name Coverage
  Build
failed #1299
build-distcheck

00:08:09

 
Name Stage Failure
failed
build-distcheck Build
No job log