Re: CI build timeouts

[Salz, Rich]

  *   Disabling memory leak checking doesn’t sound like a great idea..

On that one platform, no?