Hi all, I was trying to get the zyre CI builds to run successfully again. It failed I think because of a memory error in czmq. I was wondering what policy do we use for pull requests while the CI test hasn't finished yet. I personally like to refrain from merging until all tests have finished. Any other perspectives? Rg, Arnaud