Christophe Monniez 8471c8c35b [FIX] runbot: improve coverage processing ... When a build with coverage is killed during the tests, the coverage result is set to 100%. With this commit, coverage result is verbosely skipped if the coverage file does not exists. Also, the coverage module is no longer user to retrieve the coverage value as it was already calculated. It's faster to grep the html file than to recompute the value. As the coverage builds takes a longer time than normal builds, the timeout is increased for those kind of builds (as it was already done for the CPU limit). Finally, the omitted patterns were wrong and are now fixed with this commit. Closes #25		2018-06-15 13:30:04 +02:00
..
__init__.py	[REF] runbot, runbot_cla: upgrade to Odoo 11.0	2018-03-12 14:36:33 +01:00
branch.py	[IMP] runbot: add link to the latest coverage	2018-06-12 09:04:09 +02:00
build.py	[FIX] runbot: improve coverage processing	2018-06-15 13:30:04 +02:00
event.py	[REF] runbot, runbot_cla: upgrade to Odoo 11.0	2018-03-12 14:36:33 +01:00
repo.py	[IMP] runbot: kill older builds when a new one is created	2018-06-06 16:31:33 +02:00
res_config_settings.py	[REF] runbot, runbot_cla: upgrade to Odoo 11.0	2018-03-12 14:36:33 +01:00