Old settings for WoSeDon tool (uses Document as a full disambiguation context,...

Old settings for WoSeDon tool (uses Document as a full disambiguation context, which makes it a lot faster).
1 job for master in 9 minutes and 24 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #2999
build_image

00:09:24