-
由 Frederic 提交于
Remove coverage from the daily buildbot. We don't use it, it make the output very big and if we want to use it, now there is better online tools that integrate with github
7120c660
Remove coverage from the daily buildbot. We don't use it, it make the output very big and if we want to use it, now there is better online tools that integrate with github