Message352354
> Checking for refleak takes between 2 and 6 hours.
Ouch! Makes sense then.
We could potentially add a `pre-merge` job that only runs once the merge starts to get executed. Anyways, that's a conversation for another time :-)
---
Thanks Stephane I'm very aware of that, I just thought that the build bots did that automatically at PR time. I rather have those drive the signal and letting my slow machine run for hours! Anyways, I'll just have to slightly change my workflow now |
|
| Date |
User |
Action |
Args |
| 2019-09-13 16:04:06 | eelizondo | set | recipients:
+ eelizondo, vstinner |
| 2019-09-13 16:04:06 | eelizondo | set | messageid: <[email protected]> |
| 2019-09-13 16:04:06 | eelizondo | link | issue38150 messages |
| 2019-09-13 16:04:06 | eelizondo | create | |
|