Xavier Morel 95e35dde90 [IMP] runbot_merge: logging when bumping timeout ... I'd forgotten that in order to better handle cases where the CI is highly backed up (and / or slow for some reason), we actually update the CI timeout to really take the last "pending" status as the "true start" of the CI. This might explain why lots of stagings needed extra time: as of right now, out of 28835 stagings - 20086 had their timeout bumped by more than 15mn - 6967 had their timeout bumped by more than 30mn - 264 had their timeout bumped by more than 1h - 30 had their timeout bumped by more than 2h Add some logging every time the CI is bumped this way, so we have better visibility into that event. Closes #429		2021-01-13 16:12:35 +01:00
..
__init__.py	[ADD] runbot_merge: a merge bot	2018-09-03 13:16:36 +02:00
pull_requests.py	[IMP] runbot_merge: logging when bumping timeout	2021-01-13 16:12:35 +01:00
res_partner.py	[IMP] runbot_merge: overridable CI	2020-11-20 07:41:54 +01:00