Felix Lechner wrote: > I noticed that you previously tried to combine the two CI pipeline > stages, but then reverted. The timeout is now three hours. Would you > mind if I combine them again?
Sure. I can't remember all the details but I think at the time we limited to an hour (not that the details matter now). We can always revert again if necessary.. — Chris
